Author： Andrei Ştefan
Publisher： Springer Publishing Company
ISSN： 0269-2821
Source： Artificial Intelligence Review, Vol.22, Iss.4, 2004-12, pp. : 339-366
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Solving satisfiability problems with preferences
Constraints, Vol. 15, Iss. 4, 2010-10 ,pp. :
Access to resources
Recommend
Algorithms for Testing Satisfiability Formulas
By Vlada M.
Artificial Intelligence Review, Vol. 15, Iss. 3, 2001-05 ,pp. :
Upper bounds on the satisfiability threshold
By Dubois O.
Theoretical Computer Science, Vol. 265, Iss. 1, 2001-08 ,pp. :
Time–Space Tradeoffs for Satisfiability
By Fortnow L.
Journal of Computer and System Sciences, Vol. 60, Iss. 2, 2000-04 ,pp. :
An Instantiation Scheme for Satisfiability Modulo Theories
Journal of Automated Reasoning, Vol. 48, Iss. 3, 2012-03 ,pp. :