MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Using SAT in QBF." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Using SAT in QBF  
  • by Horst Samulowitz, Fahiem Bacchus — 2005 — In Principles and Practice of Constraint Programming
  • …Using SAT in QBF Horst Samulowitz and Fahiem Bacchus ⋆ Department of Computer Science, University…
  • Cited by 4 (1 self) – Add To MetaCart
  • Bounded model checking with QBF  
  • by N. Dershowitz, Z. Hanna, J. Katz — 2005 — in Int’l Conf. on Theory and Applications of Satisfiability Testing
  • … the usage of QBF in BMC, using general-purpose SAT and QBF solvers. We also present a special…
  • Cited by 8 (1 self) – Add To MetaCart
  • Game-SAT: a Preliminary Report  
  • by Ling Zhao, Martin Müller — 2004 — in Proceedings of International Conference on Theory and Applications of Satisfiability Testing, p
  • … they can be reduced to each other in polynomial time. Besides, many methods used in SAT or QBF solvers can…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB