%0 Conference Paper %1 conf/hldvt/BabicBH05 %A Babic, Domagoj %A Bingham, Jesse D. %A Hu, Alan J. %B HLDVT %D 2005 %I IEEE Computer Society %K dblp %P 192-199 %T B-cubing theory: new possibilities for efficient SAT-solving. %U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2005.html#BabicBH05 %@ 0-7803-9571-9

@inproceedings{conf/hldvt/BabicBH05, added-at = {2015-05-12T00:00:00.000+0200}, author = {Babic, Domagoj and Bingham, Jesse D. and Hu, Alan J.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29af1987f58f82a34a2b4f3b632531a41/dblp}, booktitle = {HLDVT}, crossref = {conf/hldvt/2005}, ee = {http://doi.ieeecomputersociety.org/10.1109/HLDVT.2005.1568836}, interhash = {14977cf43a9d2c89d85629744ed2366b}, intrahash = {9af1987f58f82a34a2b4f3b632531a41}, isbn = {0-7803-9571-9}, keywords = {dblp}, pages = {192-199}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T14:37:50.000+0100}, title = {B-cubing theory: new possibilities for efficient SAT-solving.}, url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2005.html#BabicBH05}, year = 2005 }