%0 Conference Paper %1 conf/mc2/BrightGKG19 %A Bright, Curtis %A Gerhard, Jürgen %A Kotsireas, Ilias S. %A Ganesh, Vijay %B MC %D 2019 %E Gerhard, Jürgen %E Kotsireas, Ilias S. %I Springer %K dblp %P 205-219 %T Effective Problem Solving Using SAT Solvers. %U http://dblp.uni-trier.de/db/conf/mc2/mc2019.html#BrightGKG19 %V 1125 %@ 978-3-030-41258-6

@inproceedings{conf/mc2/BrightGKG19, added-at = {2024-06-27T00:00:00.000+0200}, author = {Bright, Curtis and Gerhard, Jürgen and Kotsireas, Ilias S. and Ganesh, Vijay}, biburl = {https://www.bibsonomy.org/bibtex/2cf3b4d44d2081c54b0d54212a574e719/dblp}, booktitle = {MC}, crossref = {conf/mc2/2019}, editor = {Gerhard, Jürgen and Kotsireas, Ilias S.}, ee = {https://doi.org/10.1007/978-3-030-41258-6_15}, interhash = {2a28f2792e14bef8c726fcb74d0b24ca}, intrahash = {cf3b4d44d2081c54b0d54212a574e719}, isbn = {978-3-030-41258-6}, keywords = {dblp}, pages = {205-219}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2024-07-01T07:19:36.000+0200}, title = {Effective Problem Solving Using SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/mc2/mc2019.html#BrightGKG19}, volume = 1125, year = 2019 }