Searching for "Testing satisfiability." – sorted by Relevance.
-
Testing Satisfiability
- Testing Satisfiability 1 Noga Alon 2 Schools of Mathematics and Computer Science, Raymond
- Cited by 13 (8 self) – Add To MetaCart
-
Diagnosability testing with satisfiability algorithms
- Diagnosability Testing with Satisfiability Algorithms Jussi Rintanen and Alban Grastien National
- Cited by 4 (1 self) – Add To MetaCart
-
Testing Satisfiability Of A Conjunction Of Inequalities
- TESTING SATISFIABILITY OF A CONJUNCTION OF INEQUALITIES 1 Naci S. Ishakbeyoglu TUBITAK Marmara
- Add To MetaCart
-
On Testing Satisfiability of Tree Pattern Queries
- On Testing Satisfiability of Tree Pattern Queries Abstract XPath and XQuery (which includes XPath
- Add To MetaCart
-
Testing satisfiability of CNF formulas by computing a stable set of points
- Testing satisfiability of CNF formulas by computing a stable set of points Eugene Goldberg
- Cited by 1 (1 self) – Add To MetaCart
-
Testing Satisfiability of a Class of Object-Oriented Conjunctive Queries
- Testing Satisfiability of a Class of Object-Oriented Conjunctive Queries Edward P.F. Chan
- Cited by 1 (1 self) – Add To MetaCart
-
Satisfiability Testing with More Reasoning and Less Guessing
- Satisfiability Testing with More Reasoning and Less Guessing Allen Van Gelder Yumi K. Tsuji
- Cited by 45 (10 self) – Add To MetaCart
-
Local Search Strategies for Satisfiability Testing
- Strategies for Satisfiability Testing BART SELMAN, HENRY KAUTZ, AND BRAM COHEN Jan 22, 1995 Abstract. It has
- Cited by 199 (20 self) – Add To MetaCart
-
Planning in Description Logics: Deduction versus Satisfiability Testing
- Planning in Description Logics: Deduction versus Satisfiability Testing Liviu Badea AI Research
- Cited by 5 (0 self) – Add To MetaCart
-
Satisfiability testing for Boolean formulas using Delta-trees
- Satisfiability testing for Boolean formulas using ∆-trees ∗ G. Gutiérrez, I.P. de Guzmán, J
- Add To MetaCart

