In this paper, we present the Scarab system which is a prototyping tool for developing SAT-based systems. It provides a rich constraint modeling language on Scala and enables a programmer to rapidly specify problems and to experiment with different modelings. Scarab also provides a simple way to realize incremental solving, solution enumeration, and dynamic addition and/or removal of constraints. In Scarab, we can use integer variables and arithmetic constraints, and all of them are encoded into SAT without the need of developing dedicated encoder. SAT solvers are then used for finding solutions. © 2013 Springer-Verlag.
CITATION STYLE
Soh, T., Tamura, N., & Banbara, M. (2013). Scarab: A rapid prototyping tool for SAT-based constraint programming systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7962 LNCS, pp. 429–436). https://doi.org/10.1007/978-3-642-39071-5_34
Mendeley helps you to discover research relevant for your work.