%0 Journal Article %1 journals/jsat/Roussel11 %A Roussel, Olivier %D 2011 %J J. Satisf. Boolean Model. Comput. %K dblp %N 4 %P 139-144 %T Controlling a Solver Execution with the runsolver Tool. %U http://dblp.uni-trier.de/db/journals/jsat/jsat7.html#Roussel11 %V 7

@article{journals/jsat/Roussel11, added-at = {2020-08-17T00:00:00.000+0200}, author = {Roussel, Olivier}, biburl = {https://www.bibsonomy.org/bibtex/20f78fa066db481bf59ace526a48dfa31/dblp}, ee = {https://doi.org/10.3233/sat190083}, interhash = {b6bad58a9872c7521753bcf1b0d1b6e5}, intrahash = {0f78fa066db481bf59ace526a48dfa31}, journal = {J. Satisf. Boolean Model. Comput.}, keywords = {dblp}, number = 4, pages = {139-144}, timestamp = {2020-08-18T11:43:56.000+0200}, title = {Controlling a Solver Execution with the runsolver Tool.}, url = {http://dblp.uni-trier.de/db/journals/jsat/jsat7.html#Roussel11}, volume = 7, year = 2011 }