SAT-Based Procedures for Temporal Reasoning
- 1 January 2000
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 97-108
- https://doi.org/10.1007/10720246_8
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The complexity of query evaluation in indefinite temporal constraint databasesTheoretical Computer Science, 1997
- HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEMComputational Intelligence, 1993
- Are tableaux an improvement on truth-tables?Journal of Logic, Language and Information, 1992
- Temporal constraint networksArtificial Intelligence, 1991
- First-Order LogicPublished by Springer Nature ,1968
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960