Author： Ruiz Esmeralda
Publisher： Springer Publishing Company
ISSN： 0269-2821
Source： Artificial Intelligence Review, Vol.35, Iss.3, 2011-03, pp. : 265-285
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
Access to resources
Recommend
International Journal of Advanced Intelligence Paradigms, Vol. 4, Iss. 3-4, 2012-02 ,pp. :
Simple algorithm portfolio for SAT
By Nikolić Mladen Marić Filip Janičić Predrag
Artificial Intelligence Review, Vol. 40, Iss. 4, 2013-12 ,pp. :
A Comparison between SAT and CSP Techniques
Constraints, Vol. 9, Iss. 2, 2004-04 ,pp. :
A Stochastic Limit Approach to the SAT Problem
By Accardi Luigi Ohya Masanori
Open Systems and Information Dynamics, Vol. 11, Iss. 3, 2004-01 ,pp. :