%0 Conference Paper %1 conf/sat/SamulowitzB07 %A Samulowitz, Horst %A Bacchus, Fahiem %B SAT %D 2007 %E Marques-Silva, João %E Sakallah, Karem A. %I Springer %K dblp %P 215-229 %T Dynamically Partitioning for Solving QBF. %U http://dblp.uni-trier.de/db/conf/sat/sat2007.html#SamulowitzB07 %V 4501 %@ 978-3-540-72787-3

@inproceedings{conf/sat/SamulowitzB07, added-at = {2017-05-23T00:00:00.000+0200}, author = {Samulowitz, Horst and Bacchus, Fahiem}, biburl = {https://www.bibsonomy.org/bibtex/24a15c80058d1f8367f2e5f5b37b50d81/dblp}, booktitle = {SAT}, crossref = {conf/sat/2007}, editor = {Marques-Silva, João and Sakallah, Karem A.}, ee = {https://doi.org/10.1007/978-3-540-72788-0_22}, interhash = {928c38443c5cf7526b1adaa4c75e2157}, intrahash = {4a15c80058d1f8367f2e5f5b37b50d81}, isbn = {978-3-540-72787-3}, keywords = {dblp}, pages = {215-229}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-02-25T14:23:06.000+0100}, title = {Dynamically Partitioning for Solving QBF.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2007.html#SamulowitzB07}, volume = 4501, year = 2007 }