MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Testing satisfiability." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

989 documents found, showing 1 through 10. Next 10 →

ATOM

Testing Satisfiability
by Noga Alon, Asaf Shapira — 2003
…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
by Jussi Rintanen, Alban Grastien — 2007 — In Proc. IJCAI-07
…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
by Naci Ishakbeyoglu, Z. Meral Ozsoyoglu
…TESTING SATISFIABILITY OF A CONJUNCTION OF INEQUALITIES 1 Naci S. Ishakbeyoglu TUBITAK Marmara…
Add To MetaCart

On Testing Satisfiability of Tree Pattern Queries
by Laks Lakshmanan Ganesh — 2004
…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
by Eugene Goldberg — 2002 — of Points, CADE 2002, LNCS
…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
by Edward P. F. Chan — 1999 — Theoretical Computer Science
…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
by Allen Van Gelder, Yumi K. Tsuji, Allen Van, Gelder Yumi, K. Tsuji — 1995
…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
by Bart Selman, Henry Kautz, Bram Cohen — 1995 — DIMACS Series in Discrete Mathematics and Theoretical Computer Science
… 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
by Liviu Badea — 1998 — In European Conference on Artificial Intelligence
…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
by G. Gutiérrez, I. P. De Guzmán, J. Martínez, M. Ojeda-Aciego, A. Valverde, Málaga Spain — 2002 — Studia Logica
…Satisfiability testing for Boolean formulas using ∆-trees ∗ G. Gutiérrez, I.P. de Guzmán, J…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB