Abstract
We describe WSAT(CC), a local-search solver for computing models of theories in the language of propositional logic extended by cardinality atoms. WSAT(CC) is a processing back-end for the logic PS + , a recently proposed formalism for answer-set programming.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dransfield, M.R., Marek, V.M., Truszczyński, M.: Satisfiability and computing van der Waerden numbers. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 1–13. Springer, Heidelberg (2004)
East, D., Liu, L., Logsdon, S., Marek, V., Truszczyński, M.: ASPPS user’s manual (2003), http://www.cs.uky.edu/aspps/users_manual.ps
East, D., Truszczyński, M.: Propositional satisfiability in answer-set programming. In: Baader, F., Brewka, G., Eiter, T. (eds.) KI 2001. LNCS (LNAI), vol. 2174, p. 138. Springer, Heidelberg (2001), available at http://xxx.lanl.gov/abs/cs.LO/0211033
Liu, L., Truszczyński, M.: Local-search techniques in propositional logic extended with cardinality atoms. In: Rossi, F. (ed.) CP 2003. LNCS, vol. 2833, pp. 495–509. Springer, Heidelberg (2003)
Niemelä, I., Simons, P.: Extending the smodels system with cardinality and weight constraints. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 491–521. Kluwer Academic Publishers, Dordrecht (2000)
Selman, B., Kautz, H.A., Cohen, B.: Noise strategies for improving local search. In: Proceedings of AAAI 1994. AAAI Press, Menlo Park (1994)
Walser, J.P.: Solving linear pseudo-boolean constraints with local search. In: Proceedings of AAAI 1997. AAAI Press, Menlo Park (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liu, L., Truszczyński, M. (2003). WSAT(CC) — A Fast Local-Search ASP Solver. In: Lifschitz, V., Niemelä, I. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2004. Lecture Notes in Computer Science(), vol 2923. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24609-1_33
Download citation
DOI: https://doi.org/10.1007/978-3-540-24609-1_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20721-4
Online ISBN: 978-3-540-24609-1
eBook Packages: Springer Book Archive