Abstract
We present iSat, a Python command line tool to analyze and find structure in propositional satisfiability problems. iSat offers an interactive shell to control propositional SAT solvers and generate graph representations of the internal structure of the search space explored by them for visualization, with the final aim of providing a unified environment for propositional solving experimentation. iSat was designed to enable simple integration of both new SAT solvers and new visualization graphs and statistics with a minimum of coding overhead. © 2012 Springer-Verlag.
Cite
CITATION STYLE
Orbe, E., Areces, C., & Infante-López, G. (2012). iSat: Structure visualization for SAT problems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7180 LNCS, pp. 335–342). https://doi.org/10.1007/978-3-642-28717-6_26
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
