Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/dac/BabicBH05
%A Babic, Domagoj
%A Bingham, Jesse D.
%A Hu, Alan J.
%B DAC
%D 2005
%E Jr., William H. Joyner
%E Martin, Grant
%E Kahng, Andrew B.
%I ACM
%K dblp
%P 744-749
%T Efficient SAT solving: beyond supercubes.
%U http://dblp.uni-trier.de/db/conf/dac/dac2005.html#BabicBH05
%@ 1-59593-058-2
@inproceedings{conf/dac/BabicBH05,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Babic, Domagoj and Bingham, Jesse D. and Hu, Alan J.},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2519e79a34c4b2a41399726aa3a67c459/dblp},
booktitle = {DAC},
crossref = {conf/dac/2005},
editor = {Jr., William H. Joyner and Martin, Grant and Kahng, Andrew B.},
ee = {https://doi.org/10.1145/1065579.1065774},
interhash = {c08ac260f78f7e89d5d8a988c920b73f},
intrahash = {519e79a34c4b2a41399726aa3a67c459},
isbn = {1-59593-058-2},
keywords = {dblp},
pages = {744-749},
publisher = {ACM},
timestamp = {2019-09-27T20:18:32.000+0200},
title = {Efficient SAT solving: beyond supercubes.},
url = {http://dblp.uni-trier.de/db/conf/dac/dac2005.html#BabicBH05},
year = 2005
}
