WSAT(cc) - a fast local-search ASP solver
<|reference_start|>WSAT(cc) - a fast local-search ASP solver: 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.<|reference_end|>
@article{liu2003wsat(cc),
    title={WSAT(cc) - a fast local-search ASP solver},
    author={Lengning Liu, Miroslaw Truszczynski},
    journal={arXiv preprint arXiv:cs/0310062},
    year={2003},
    archivePrefix={arXiv},
    eprint={cs/0310062},
    primaryClass={cs.AI}
}