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

@proceedings{Biere2009, added-at = {2011-12-03T17:47:36.000+0100}, biburl = {https://www.bibsonomy.org/bibtex/2d9fd232df370a1c69cbab8e955bc900f/henningb}, booktitle = {Handbook of Satisfiability}, description = {dblp}, editor = {Biere, Armin and Heule, Marijn and van Maaren, Hans and Walsh, Toby}, groups = {public}, interhash = {bc1777bb3606368d9089d58ab84318c3}, intrahash = {d9fd232df370a1c69cbab8e955bc900f}, isbn = {978-1-58603-929-5}, keywords = {smt}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2012-02-24T16:46:23.000+0100}, title = {Handbook of Satisfiability}, url = {http://dblp.uni-trier.de/db/series/faia/faia185.html}, username = {henningb}, volume = 185, year = 2009 }