Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings > Solving Sparse Linear Constraints
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings |
Ulrich Furbach; Natarajan Shankar
Springer Berlin Heidelberg
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Solving Sparse Linear Constraints
Authors

Shuvendu K. Lahiri; Madanlal Musuvathi

ARI Id

1674219735310_3153834

Access

Not Available Free

Pages

468-482

DOI

10.1007/11814771_39

Chapter URL

https://rd.springer.com/chapter/10.1007/11814771_39

Table of Contents of Book
Showing 1 to 20 of 55 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Mathematical Theory Exploration
Bruno Buchberger
1-2
Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation
Adnan Darwiche
3-3
Representing and Reasoning with Operational Semantics
Dale Miller
4-20
Flyspeck I: Tame Graphs
Tobias Nipkow; Gertrud Bauer; Paula Schultz
21-35
Automatic Construction and Verification of Isotopy Invariants
Volker Sorge; Andreas Meier; Roy McCasland; Simon Colton
36-51
Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms
Sylvie Boldo
52-66
Using the TPTP Language for Writing Derivations and Finite Interpretations
Geoff Sutcliffe; Stephan Schulz; Koen Claessen; Allen Van Gelder
67-81
Stratified Context Unification Is NP-Complete
Jordi Levy; Manfred Schmidt-Schauß; Mateu Villaret
82-96
A Logical Characterization of Forward and Backward Chaining in the Inverse Method
Kaustuv Chaudhuri; Frank Pfenning; Greg Price
97-111
Connection Tableaux with Lazy Paramodulation
Andrei Paskevich
112-124
Blocking and Other Enhancements for Bottom-Up Model Generation Methods
Peter Baumgartner; Renate A. Schmidt
125-139
The MathServe System for Semantic Web Reasoning Services
Jürgen Zimmer; Serge Autexier
140-144
System Description: GCLCprover + GeoThms
Predrag Janičić; Pedro Quaresma
145-150
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms
Joe Hendrix; José Meseguer; Hitoshi Ohsaki
151-155
Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation
Allen Van Gelder; Geoff Sutcliffe
156-161
Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics
Robert Constable; Wojciech Moczydłowski
162-176
Towards Self-verification of HOL Light
John Harrison
177-191
An Interpretation of Isabelle/HOL in HOL Light
Sean McLaughlin
192-204
Combining Type Theory and Untyped Set Theory
Chad E. Brown
205-219
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 55 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings