Pbmodels - Software to compute stable models by pseudoboolean solvers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3662 LNAI, Issue , 2005, Pages 410-415

  Liu, Lengning ^a   Truszczyński, Mirosław ^a  

^a UNIVERSITY OF KENTUCKY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATION THEORY; LOGIC PROGRAMMING; MATHEMATICAL MODELS;

PBMODELS; PSEUDOBOOLEAN SOLVERS; WEIGHT ATOMS;

COMPUTER SOFTWARE;

EID: 33646049696     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11546207_37     Document Type: Conference Paper

References (9)

1. Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138 (2002) 181-234.
2. Lin, F., Zhao, Y.: ASSAT: Computing answer sets of a logic program by SAT solvers. In: Proceedings of AAAI-2002, AAAI Press (2002) 112-117.
3. Babovich, Y., Lifschitz, V.: Cmodels package (2002) http://www.cs.utexas.edu/users/tag/cmodels.html.
4. Liu, L., Truszczyński, M.: Properties of programs with monotone and convex constraints. In: Proceedings of AAAI-05, AAAI Press (2005).
5. Eén, N., Sörensson, N.: An extensible SAT solver. In: Proceedings of SAT-2003. Volume 2919 of LNCS., Springer (2003) 502-518.
6. Aloul, F., Ramani, A., Markov, I., Sakallah, K.: PBS: a backtrack-search pseudo-boolean solver and optimizer. In: Proceedings of SAT-2003. 346-353.
7. Walser, J.: Solving linear pseudo-boolean constraints with local search. In: Proceedings of AAAI-97, AAAI Press (1997) 269-274.
8. Liu, L., Truszczyński, M.: Local-search techniques in propositional logic extended with cardinality atoms. In: Proceedings of CP-2003. Volume 2833 of LNCS, Springer (2003) 495-509.
9. Selman, B., Kautz, H., Cohen, B.: Noise strategies for improving local search. In: Proceedings of AAAI-1994, AAAI Press (1994) 337-343.