iSat: Structure Visualization for SAT Problems

Orbe, E., Areces, C., and Infante-López, G.. iSat: Structure Visualization for SAT Problems. In Proceedings of the 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-18), Merida, Venezuela, March 2012.

Download: [pdf] 

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 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 allow the simple integration of both new provers and new visualizationgraphs and statistics with a minimum of coding overhead.

BibTeX: (download)

@INPROCEEDINGS{orbe:isat12,
  author = {Orbe, E. and Areces, C. and Infante-L\'opez, G.},
  title = {{iSat}: Structure Visualization for {SAT} Problems},
  booktitle = {Proceedings of the 18th International Conference on Logic for Programming
	Artificial Intelligence and Reasoning (LPAR-18)},
  year = {2012},
  address = {Merida, Venezuela},
  month = {March},
  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 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 allow
	the simple integration of both new provers and new visualizationgraphs
	and statistics with a minimum of coding overhead.},
  owner = {areces},
  timestamp = {2012.02.17}
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49