Solving satisfiability problems with preferences

ISSN： 1383-7133

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

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

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

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

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

AC Complement Problems: Satisfiability and Negation Elimination

By Fernandez M.

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

Academic Press

Access to resources Recommend Favorite