JOURNAL ARTICLE
Modelling and solving temporal reasoning as propositional satisfiability
Duc Nghia PhamJohn ThorntonAbdul Sattar
Year: 2008 Journal: Artificial Intelligence Vol: 172 (15)Pages: 1752-1782 Publisher: Elsevier BV
Keywords:
Satisfiability Decidability Quantifier (linguistics) DPLL algorithm Theoretical computer science Propositional variable Boolean satisfiability problem Rotation formalisms in three dimensions Encoding (memory) Computer science Presburger arithmetic Task (project management) Interval (graph theory) Discrete mathematics Mathematics Propositional calculus Algorithm Artificial intelligence Combinatorics Description logic Intermediate logic
Metrics
30
Cited By
3.50
FWCI (Field Weighted Citation Impact)
66
Refs
0.94
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Constraint Satisfaction and Optimization
Physical Sciences → Computer Science → Computer Networks and Communications
Data Management and Algorithms
Physical Sciences → Computer Science → Signal Processing
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Solving propositional satisfiability problems
Journal: Annals of Mathematics and Artificial Intelligence Year: 1990 Vol: 1 (1-4)Pages: 167-187
DISSERTATION
Modelling and Exploiting Structures in Solving Propositional Satisfiability Problems
University: Griffith Research Online (Griffith University, Queensland, Australia) Year: 2006
BOOK-CHAPTER
Symbolic Techniques in Propositional Satisfiability Solving
Lecture notes in computer science Year: 2009 Pages: 2-3
JOURNAL ARTICLE
Mutex reasoning in cooperative path finding modeled as propositional satisfiability
Year: 2013 Pages: 4326-4331