%0 Book %1 series/faia/2009-185 %B Handbook of Satisfiability %D 2009 %E Biere, Armin %E Heule, Marijn %E van Maaren, Hans %E Walsh, Toby %I IOS Press %K dblp %T Handbook of Satisfiability %U http://dblp.uni-trier.de/db/series/faia/faia185.html %V 185 %@ 978-1-58603-929-5

@book{series/faia/2009-185, added-at = {2022-05-06T00:00:00.000+0200}, biburl = {https://www.bibsonomy.org/bibtex/2f1b9ccdec1416818da09147592621da7/dblp}, booktitle = {Handbook of Satisfiability}, editor = {Biere, Armin and Heule, Marijn and van Maaren, Hans and Walsh, Toby}, interhash = {bc1777bb3606368d9089d58ab84318c3}, intrahash = {f1b9ccdec1416818da09147592621da7}, isbn = {978-1-58603-929-5}, keywords = {dblp}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-09-23T07:18:30.000+0200}, title = {Handbook of Satisfiability}, url = {http://dblp.uni-trier.de/db/series/faia/faia185.html}, volume = 185, year = 2009 }