A survey of the satisfiability-problems solving algorithms

By Kilani Yousef   Bsoul Mohammad   Alsarhan Ayoub   Al-Khasawneh Ahmad  

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

Inderscience Publishers

Access to resources Recommend Favorite

On-line algorithms for satisfiability problems with uncertainty

By Ausiello G.   Giaccio R.  

Theoretical Computer Science, Vol. 171, Iss. 1, 1997-01 ,pp. : 3-24

Elsevier

Access to resources Recommend Favorite

Exact Algorithms for Exact Satisfiability and Number of Perfect Matchings

By Björklund Andreas   Husfeldt Thore  

Algorithmica, Vol. 52, Iss. 2, 2008-10 ,pp. : 226-249

Springer Publishing Company

Access to resources Recommend Favorite

Testing HDR Image Rendering Algorithms

By Kuang Jiangtao   Yamaguchi Hiroshi   Johnson Garrett M.   Fairchild Mark D.  

Color and Imaging Conference, Vol. 2004, Iss. 1, 2004-01 ,pp. : 315-320

Society for Imaging Science and Technology

Access to resources Recommend Favorite

Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques

By Liu Lengning   Truszczyński Mirosław  

Constraints, Vol. 12, Iss. 3, 2007-09 ,pp. : 345-369

Springer Publishing Company

Access to resources Recommend Favorite