New algorithms for Exact Satisfiability☆
Under an Elsevier user license
open archive
Keywords
Exact Satisfiability
Exact 3-Satisfiability
Exact solution
Branch-and-reduce algorithm
Exponential-time algorithm
Cited by (0)
- ☆
Partially supported by the Future and Emerging Technologies programme of the EU under contract number IST-1999-14186 (ALCOM-FT).
- 1
Part of this research was done while visiting School of Information & Computer Science, University of California, Irvine, USA.
- 2
Part of this research was done while visiting Max-Planck-Institut für Informatik, Saarbrücken, Germany.
Copyright © 2005 Elsevier B.V. All rights reserved.