Author： van Maaren H.
Publisher： Academic Press
ISSN： 0890-5401
Source： Information and Computation, Vol.158, Iss.2, 2000-05, pp. : 125-130
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
Easy Cases of Probabilistic Satisfiability
Annals of Mathematics and Artificial Intelligence, Vol. 33, Iss. 1, 2001-09 ,pp. :
Access to resources
Recommend
Some interesting research directions in satisfiability
By Franco J.
Annals of Mathematics and Artificial Intelligence, Vol. 28, Iss. 1-4, 2000-01 ,pp. :
A note on some results of Hua in short intervals
By Tang Hengcai
Lithuanian Mathematical Journal, Vol. 51, Iss. 1, 2011-01 ,pp. :