AC Complement Problems: Satisfiability and Negation Elimination

ISSN： 0747-7171

Source： Journal of Symbolic Computation, Vol.22, Iss.1, 1996-01, pp. : 49-82

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

Related content

Solving satisfiability problems with preferences

By Di Rosa Emanuele

Constraints, Vol. 15, Iss. 4, 2010-10 ,pp. : 485-515

Springer Publishing Company

Access to resources Recommend Favorite

Satisfiability problems on intervals and unit intervals

By Pe'er I. Shamir R.

Theoretical Computer Science, Vol. 175, Iss. 2, 1997-04 ,pp. : 349-372

Elsevier

Access to resources Recommend Favorite

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

Generalized satisfiability problems: minimal elements and phase transitions

By Creignou N. Daude H.

Theoretical Computer Science, Vol. 302, Iss. 1, 2003-06 ,pp. : 417-430

Elsevier

Access to resources Recommend Favorite