![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
International Journal of Advanced Intelligence Paradigms, Vol. 4, Iss. 3-4, 2012-02 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Simple algorithm portfolio for SAT
By Nikolić Mladen Marić Filip Janičić Predrag
Artificial Intelligence Review, Vol. 40, Iss. 4, 2013-12 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
A Comparison between SAT and CSP Techniques
Constraints, Vol. 9, Iss. 2, 2004-04 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
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. :