Period of time： 2013年1期
Publisher： Springer Publishing Company
Founded in： 1990
Total resources： 73
ISSN： 1012-2443
Subject： O Mathematical Sciences and Chemical
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Annals of Mathematics and Artificial Intelligence,volume 43,issue 1
Menu
On SAT instance classes and a method for reliable performance experiments with SAT solvers
By Brglez Franc,Li Xiao,Stallmann Matthias in (2005)
Annals of Mathematics and Artificial Intelligence,volume 43,issue 1 , Vol. 43, Iss. 1, 2005-01 , pp.
Access to resources
Recommend
On exact selection of minimally unsatisfiable subformulae
Annals of Mathematics and Artificial Intelligence,volume 43,issue 1 , Vol. 43, Iss. 1, 2005-01 , pp.The complexity of Boolean constraint satisfaction local search problems
By Chapdelaine Philippe in (2005)
Annals of Mathematics and Artificial Intelligence,volume 43,issue 1 , Vol. 43, Iss. 1, 2005-01 , pp.UnitWalk: A new SAT solver that uses local search guided by unit clause elimination
By Hirsch Edward,Kojevnikov Arist in (2005)
Annals of Mathematics and Artificial Intelligence,volume 43,issue 1 , Vol. 43, Iss. 1, 2005-01 , pp.Efficient data structures for backtrack search SAT solvers
Annals of Mathematics and Artificial Intelligence,volume 43,issue 1 , Vol. 43, Iss. 1, 2005-01 , pp.Exact 3-satisfiability is decidable in time
By Porschen Stefan,Randerath Bert,Speckenmeyer Ewald in (2005)
Annals of Mathematics and Artificial Intelligence,volume 43,issue 1 , Vol. 43, Iss. 1, 2005-01 , pp.
Previous
Next