A survey of the satisfiability-problems solving algorithms

Author: Kilani Yousef   Bsoul Mohammad   Alsarhan Ayoub   Al-Khasawneh Ahmad  

Publisher: Inderscience Publishers

ISSN: 1755-0386

Source: International Journal of Advanced Intelligence Paradigms, Vol.5, Iss.3, 2013-09, pp. : 233-256

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract