PB-smodels a Pseudo-Boolean Solver

Book One

Volume

Proceedings of the AAAI Conference on Artificial Intelligence, 21

AAAI Member Abstracts

We show that smodels, a solver originally designed to solve search problems encoded as logic programs can be used as a pseudo-boolean solver (we call it PB-smodels). We compare the performance of PB-smodels with pseudo-boolean solvers MiniSat+ and Pueblo on two benchmarks. We show that in many cases PB-smodels performs better than or is comparable to other solvers.