@inproceedings{DBLP:conf/cav/ZhangM02,
 author = {Lintao Zhang and
 Sharad Malik},
 title = {The Quest for Efficient Boolean Satisfiability Solvers},
 booktitle = {CAV},
 year = {2002},
 pages = {17-36},
 ee = {http://link.springer.de/link/service/series/0558/bibs/2404/24040017.htm},
 crossref = {DBLP:conf/cav/2002},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cav/2002,
 editor = {Ed Brinksma and
 Kim Guldstrand Larsen},
 title = {Computer Aided Verification, 14th International Conference,
 CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
 booktitle = {CAV},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {2404},
 year = {2002},
 isbn = {3-540-43997-8},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/csur/BordeauxHZ06,
 author = {Lucas Bordeaux and
 Youssef Hamadi and
 Lintao Zhang},
 title = {Propositional Satisfiability and Constraint Programming:
 A comparative survey},
 journal = {ACM Comput. Surv.},
 volume = {38},
 number = {4},
 year = {2006},
 ee = {http://doi.acm.org/10.1145/1177352.1177354},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/jair/DixonGP04,
 author = {Heidi E. Dixon and
 Matthew L. Ginsberg and
 Andrew J. Parkes},
 title = {Generalizing Boolean Satisfiability I: Background and Survey
 of Existing Work},
 journal = {J. Artif. Intell. Res. (JAIR)},
 volume = {21},
 year = {2004},
 pages = {193-243},
 ee = {http://www.cs.washington.edu/research/jair/abstracts/dixon04a.html},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/jair/DixonGLP04,
 author = {Heidi E. Dixon and
 Matthew L. Ginsberg and
 Eugene M. Luks and
 Andrew J. Parkes},
 title = {Generalizing Boolean Satisfiability II: Theory},
 journal = {J. Artif. Intell. Res. (JAIR)},
 volume = {22},
 year = {2004},
 pages = {481-534},
 ee = {http://www.cs.washington.edu/research/jair/abstracts/dixon04b.html},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/jair/DixonGHLP05,
 author = {Heidi E. Dixon and
 Matthew L. Ginsberg and
 David K. Hofer and
 Eugene M. Luks and
 Andrew J. Parkes},
 title = {Generalizing Boolean Satisfiability III: Implementation},
 journal = {J. Artif. Intell. Res. (JAIR)},
 volume = {23},
 year = {2005},
 pages = {441-531},
 ee = {http://www.jair.org/papers/paper1656.html},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/dac/MoskewiczMZZM01,
 author = {Matthew W. Moskewicz and
 Conor F. Madigan and
 Ying Zhao and
 Lintao Zhang and
 Sharad Malik},
 title = {Chaff: Engineering an Efficient SAT Solver},
 booktitle = {DAC},
 year = {2001},
 pages = {530-535},
 ee = {http://jamaica.ee.pitt.edu/Archives/ProceedingArchives/Dac/Dac2001/papers/2001/dac01/pdffiles/33_1.pdf},
 crossref = {DBLP:conf/dac/2001},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dac/2001,
 title = {Proceedings of the 38th Design Automation Conference, DAC
 2001, Las Vegas, NV, USA, June 18-22, 2001},
 booktitle = {DAC},
 publisher = {ACM},
 year = {2001},
 isbn = {1-58113-297-2},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/sat/MahajanFM04,
 author = {Yogesh S. Mahajan and
 Zhaohui Fu and
 Sharad Malik},
 title = {Zchaff2004: An Efficient SAT Solver},
 booktitle = {SAT (Selected Papers)},
 year = {2004},
 pages = {360-375},
 ee = {http://dx.doi.org/10.1007/11527695_27},
 crossref = {DBLP:conf/sat/2004lncs},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sat/2004lncs,
 editor = {Holger H. Hoos and
 David G. Mitchell},
 title = {Theory and Applications of Satisfiability Testing, 7th International
 Conference, SAT 2004, Vancouver, BC, Canada, May 10-13,
 2004, Revised Selected Papers},
 booktitle = {SAT (Selected Papers)},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {3542},
 year = {2005},
 isbn = {3-540-27829-X},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/pc/ChrabakhW06,
 author = {Wahid Chrabakh and
 Richard Wolski},
 title = {GridSAT: A System for Solving Satisfiability Problems Using
 a Computational Grid},
 journal = {Parallel Computing},
 volume = {32},
 number = {9},
 year = {2006},
 pages = {660-687},
 ee = {http://dx.doi.org/10.1016/j.parco.200601004},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/cco/LadanyiRT01,
 author = {Laszlo Lad{\'a}nyi and
 Ted K. Ralphs and
 Leslie E. Trotter Jr.},
 title = {Branch, Cut, and Price: Sequential and Parallel},
 booktitle = {Computational Combinatorial Optimization},
 year = {2001},
 pages = {223-260},
 ee = {http://link.springer.de/link/service/series/0558/bibs/2241/22410223.htm},
 crossref = {DBLP:conf/cco/2001},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cco/2001,
 editor = {Michael J{\"u}nger and
 Denis Naddef},
 title = {Computational Combinatorial Optimization, Optimal or Provably
 Near-Optimal Solutions [based on a Spring School, Schlo{\ss}
 Dagstuhl, Germany, 15-19 May 2000]},
 booktitle = {Computational Combinatorial Optimization},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {2241},
 year = {2001},
 isbn = {3-540-42877-1},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/cav/BurchD94,
 author = {Jerry R. Burch and
 David L. Dill},
 title = {Automatic Verification of Pipelined Microprocessor Control},
 booktitle = {CAV},
 year = {1994},
 pages = {68-80},
 crossref = {DBLP:conf/cav/1994},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cav/1994,
 editor = {David L. Dill},
 title = {Computer Aided Verification, 6th International Conference,
 CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings},
 booktitle = {CAV},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {818},
 year = {1994},
 isbn = {3-540-58179-0},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/dac/VelevB01,
 author = {Miroslav N. Velev and
 Randal E. Bryant},
 title = {Effective Use of Boolean Satisfiability Procedures in the
 Formal Verification of Superscalar and VLIW Microprocessors},
 booktitle = {DAC},
 year = {2001},
 pages = {226-231},
 ee = {http://jamaica.ee.pitt.edu/Archives/ProceedingArchives/Dac/Dac2001/papers/2001/dac01/pdffiles/15_1.pdf},
 crossref = {DBLP:conf/dac/2001},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dac/2001,
 title = {Proceedings of the 38th Design Automation Conference, DAC
 2001, Las Vegas, NV, USA, June 18-22, 2001},
 booktitle = {DAC},
 publisher = {ACM},
 year = {2001},
 isbn = {1-58113-297-2},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/tocl/BryantGV01,
 author = {Randal E. Bryant and
 Steven M. German and
 Miroslav N. Velev},
 title = {Processor verification using efficient reductions of the
 logic of uninterpreted functions to propositional logic},
 journal = {ACM Trans. Comput. Log.},
 volume = {2},
 number = {1},
 year = {2001},
 pages = {93-134},
 ee = {http://doi.acm.org/10.1145/371282.371364},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/date/FuYM05,
 author = {Zhaohui Fu and
 Yinlei Yu and
 Sharad Malik},
 title = {Considering Circuit Observability Don't Cares in CNF Satisfiability},
 booktitle = {DATE},
 year = {2005},
 pages = {1108-1113},
 ee = {http://doi.ieeecomputersociety.org/10.1109/DATE.2005.102},
 crossref = {DBLP:conf/date/2005},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/date/2005,
 title = {2005 Design, Automation and Test in Europe Conference and
 Exposition (DATE 2005), 7-11 March 2005, Munich, Germany},
 booktitle = {DATE},
 publisher = {IEEE Computer Society},
 year = {2005},
 isbn = {0-7695-2288-2},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/sat/MarinovKBZR05,
 author = {Darko Marinov and
 Sarfraz Khurshid and
 Suhabe Bugrara and
 Lintao Zhang and
 Martin C. Rinard},
 title = {Optimizations for Compiling Declarative Models into Boolean
 Formulas},
 booktitle = {SAT},
 year = {2005},
 pages = {187-202},
 ee = {http://dx.doi.org/10.1007/11499107_14},
 crossref = {DBLP:conf/sat/2005},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sat/2005,
 editor = {Fahiem Bacchus and
 Toby Walsh},
 title = {Theory and Applications of Satisfiability Testing, 8th International
 Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005,
 Proceedings},
 booktitle = {SAT},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {3569},
 year = {2005},
 isbn = {3-540-26276-8},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/popl/XieA05,
 author = {Yichen Xie and
 Alexander Aiken},
 title = {Scalable error detection using boolean satisfiability},
 booktitle = {POPL},
 year = {2005},
 pages = {351-363},
 ee = {http://doi.acm.org/10.1145/1040305.1040334},
 crossref = {DBLP:conf/popl/2005},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/popl/2005,
 editor = {Jens Palsberg and
 Mart\'{\i}n Abadi},
 title = {Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on
 Principles of Programming Languages, POPL 2005, Long Beach,
 California, USA, January 12-14, 2005},
 booktitle = {POPL},
 publisher = {ACM},
 year = {2005},
 isbn = {1-58113-830-X},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/sat/DershowitzHN07,
 author = {Nachum Dershowitz and
 Ziyad Hanna and
 Alexander Nadel},
 title = {Towards a Better Understanding of the Functionality of a
 Conflict-Driven SAT Solver},
 booktitle = {SAT},
 year = {2007},
 pages = {287-293},
 ee = {http://dx.doi.org/10.1007/978-3-540-72788-0_27},
 crossref = {DBLP:conf/sat/2007},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sat/2007,
 editor = {Jo{\~a}o Marques-Silva and
 Karem A. Sakallah},
 title = {Theory and Applications of Satisfiability Testing - SAT
 2007, 10th International Conference, Lisbon, Portugal, May
 28-31, 2007, Proceedings},
 booktitle = {SAT},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {4501},
 year = {2007},
 isbn = {978-3-540-72787-3},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/sat/DershowitzHN05,
 author = {Nachum Dershowitz and
 Ziyad Hanna and
 Alexander Nadel},
 title = {A Clause-Based Heuristic for SAT Solvers},
 booktitle = {SAT},
 year = {2005},
 pages = {46-60},
 ee = {http://dx.doi.org/10.1007/11499107_4},
 crossref = {DBLP:conf/sat/2005},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sat/2005,
 editor = {Fahiem Bacchus and
 Toby Walsh},
 title = {Theory and Applications of Satisfiability Testing, 8th International
 Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005,
 Proceedings},
 booktitle = {SAT},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {3569},
 year = {2005},
 isbn = {3-540-26276-8},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/sat/JacksonS04,
 author = {Paul Jackson and
 Daniel Sheridan},
 title = {Clause Form Conversions for Boolean Circuits},
 booktitle = {SAT (Selected Papers},
 year = {2004},
 pages = {183-198},
 ee = {http://dx.doi.org/10.1007/11527695_15},
 crossref = {DBLP:conf/sat/2004lncs},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sat/2004lncs,
 editor = {Holger H. Hoos and
 David G. Mitchell},
 title = {Theory and Applications of Satisfiability Testing, 7th International
 Conference, SAT 2004, Vancouver, BC, Canada, May 10-13,
 2004, Revised Selected Papers},
 booktitle = {SAT (Selected Papers)},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {3542},
 year = {2005},
 isbn = {3-540-27829-X},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/issta/DennisCJ06,
 author = {Greg Dennis and
 Felix Sheng-Ho Chang and
 Daniel Jackson},
 title = {Modular verification of code with SAT},
 booktitle = {ISSTA},
 year = {2006},
 pages = {109-120},
 ee = {http://doi.acm.org/10.1145/1146238.1146251},
 crossref = {DBLP:conf/issta/2006},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/issta/2006,
 editor = {Lori L. Pollock and
 Mauro Pezz{\`e}},
 title = {Proceedings of the ACM/SIGSOFT International Symposium on
 Software Testing and Analysis, ISSTA 2006, Portland, Maine,
 USA, July 17-20, 2006},
 booktitle = {ISSTA},
 publisher = {ACM},
 year = {2006},
 isbn = {1-59593-263-1},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/sat/ManoliosV07,
 author = {Panagiotis Manolios and
 Daron Vroon},
 title = {Efficient Circuit to CNF Conversion},
 booktitle = {SAT},
 year = {2007},
 pages = {4-9},
 ee = {http://dx.doi.org/10.1007/978-3-540-72788-0_3},
 crossref = {DBLP:conf/sat/2007},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sat/2007,
 editor = {Jo{\~a}o Marques-Silva and
 Karem A. Sakallah},
 title = {Theory and Applications of Satisfiability Testing - SAT
 2007, 10th International Conference, Lisbon, Portugal, May
 28-31, 2007, Proceedings},
 booktitle = {SAT},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {4501},
 year = {2007},
 isbn = {978-3-540-72787-3},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/sat/SebastianiV06,
 author = {Roberto Sebastiani and
 Michele Vescovi},
 title = {Encoding the Satisfiability of Modal and Description Logics
 into SAT: The Case Study of K(m)/ALC},
 booktitle = {SAT},
 year = {2006},
 pages = {130-135},
 ee = {http://dx.doi.org/10.1007/11814948_15},
 crossref = {DBLP:conf/sat/2006},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sat/2006,
 editor = {Armin Biere and
 Carla P. Gomes},
 title = {Theory and Applications of Satisfiability Testing - SAT
 2006, 9th International Conference, Seattle, WA, USA, August
 12-15, 2006, Proceedings},
 booktitle = {SAT},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {4121},
 year = {2006},
 isbn = {3-540-37206-7},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@unpublished{DBLP:conf/sat/SebastianiV06x,
 author = {Roberto Sebastiani and
 Michele Vescovi},
 title = {Encoding the Satisfiability of Modal and Description Logics
 into SAT: The Case Study of K(m)/ALC (extended version)},
 URL = {http://www.dit.unitn.it/~rseba/sat06/extended.ps}
 year = {2006}
}

@inproceedings{DBLP:conf/date/FangH07,
 author = {Lei Fang and
 Michael S. Hsiao},
 title = {A new hybrid solution to boost SAT solver performance},
 booktitle = {DATE},
 year = {2007},
 pages = {1307-1313},
 ee = {http://doi.acm.org/10.1145/1266366.1266652},
 crossref = {DBLP:conf/date/2007},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/date/2007,
 editor = {Rudy Lauwereins and
 Jan Madsen},
 title = {2007 Design, Automation and Test in Europe Conference and
 Exposition (DATE 2007), April 16-20, 2007, Nice, France},
 booktitle = {DATE},
 publisher = {ACM},
 year = {2007},
 isbn = {978-3-9810801-2-4},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/sat/ManoliosZ06,
 author = {Panagiotis Manolios and
 Yimin Zhang},
 title = {Implementing Survey Propagation on Graphics Processing Units},
 booktitle = {SAT},
 year = {2006},
 pages = {311-324},
 ee = {http://dx.doi.org/10.1007/11814948_30},
 crossref = {DBLP:conf/sat/2006},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sat/2006,
 editor = {Armin Biere and
 Carla P. Gomes},
 title = {Theory and Applications of Satisfiability Testing - SAT
 2006, 9th International Conference, Seattle, WA, USA, August
 12-15, 2006, Proceedings},
 booktitle = {SAT},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {4121},
 year = {2006},
 isbn = {3-540-37206-7},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/sat/AnsoteguiM04a,
 author = {Carlos Ans{\'o}tegui and
 Felip Many{\`a}},
 title = {Mapping Problems with Finite-Domain Variables to Problems
 with Boolean Variables},
 booktitle = {SAT (Selected Papers},
 year = {2004},
 pages = {1-15},
 ee = {http://dx.doi.org/10.1007/11527695_1},
 crossref = {DBLP:conf/sat/2004lncs},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sat/2004lncs,
 editor = {Holger H. Hoos and
 David G. Mitchell},
 title = {Theory and Applications of Satisfiability Testing, 7th International
 Conference, SAT 2004, Vancouver, BC, Canada, May 10-13,
 2004, Revised Selected Papers},
 booktitle = {SAT (Selected Papers)},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {3542},
 year = {2005},
 isbn = {3-540-27829-X},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/sat/EenB05,
 author = {Niklas E{\'e}n and
 Armin Biere},
 title = {Effective Preprocessing in SAT Through Variable and Clause
 Elimination},
 booktitle = {SAT},
 year = {2005},
 pages = {61-75},
 ee = {http://dx.doi.org/10.1007/11499107_5},
 crossref = {DBLP:conf/sat/2005},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sat/2005,
 editor = {Fahiem Bacchus and
 Toby Walsh},
 title = {Theory and Applications of Satisfiability Testing, 8th International
 Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005,
 Proceedings},
 booktitle = {SAT},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {3569},
 year = {2005},
 isbn = {3-540-26276-8},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/cav/Shtrichman00,
 author = {Ofer Strichman},
 title = {Tuning SAT Checkers for Bounded Model Checking},
 booktitle = {CAV},
 year = {2000},
 pages = {480-494},
 crossref = {DBLP:conf/cav/2000},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cav/2000,
 editor = {E. Allen Emerson and
 A. Prasad Sistla},
 title = {Computer Aided Verification, 12th International Conference,
 CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
 booktitle = {CAV},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {1855},
 year = {2000},
 isbn = {3-540-67770-4},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/sat/LewisSB05,
 author = {Matthew D. T. Lewis and
 Tobias Schubert and
 Bernd Becker},
 title = {Speedup Techniques Utilized in Modern SAT Solvers},
 booktitle = {SAT},
 year = {2005},
 pages = {437-443},
 ee = {http://dx.doi.org/10.1007/11499107_36},
 crossref = {DBLP:conf/sat/2005},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sat/2005,
 editor = {Fahiem Bacchus and
 Toby Walsh},
 title = {Theory and Applications of Satisfiability Testing, 8th International
 Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005,
 Proceedings},
 booktitle = {SAT},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {3569},
 year = {2005},
 isbn = {3-540-26276-8},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/sat/Gelder07,
 author = {Allen Van Gelder},
 title = {Verifying Propositional Unsatisfiability: Pitfalls to Avoid},
 booktitle = {SAT},
 year = {2007},
 pages = {328-333},
 ee = {http://dx.doi.org/10.1007/978-3-540-72788-0_31},
 crossref = {DBLP:conf/sat/2007},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sat/2007,
 editor = {Jo{\~a}o Marques-Silva and
 Karem A. Sakallah},
 title = {Theory and Applications of Satisfiability Testing - SAT
 2007, 10th International Conference, Lisbon, Portugal, May
 28-31, 2007, Proceedings},
 booktitle = {SAT},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {4501},
 year = {2007},
 isbn = {978-3-540-72787-3},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/date/WuLLH07,
 author = {Chi-An Wu and
 Ting-Hao Lin and
 Chih-Chun Lee and
 Chung-Yang Huang},
 title = {QuteSAT: a robust circuit-based SAT solver for complex circuit
 structure},
 booktitle = {DATE},
 year = {2007},
 pages = {1313-1318},
 ee = {http://doi.acm.org/10.1145/1266366.1266653},
 crossref = {DBLP:conf/date/2007},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/date/2007,
 editor = {Rudy Lauwereins and
 Jan Madsen},
 title = {2007 Design, Automation and Test in Europe Conference and
 Exposition (DATE 2007), April 16-20, 2007, Nice, France},
 booktitle = {DATE},
 publisher = {ACM},
 year = {2007},
 isbn = {978-3-9810801-2-4},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/fccm/ZhongMAM98,
 author = {Peixin Zhong and
 Margaret Martonosi and
 Pranav Ashar and
 Sharad Malik},
 title = {Accelerating Boolean Satisfiability with Configurable Hardware},
 booktitle = {FCCM},
 year = {1998},
 pages = {186-195},
 ee = {http://csdl.computer.org/dl/proceedings/fccm/1998/8900/00/89000186.pdf},
 crossref = {DBLP:conf/fccm/1998},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fccm/1998,
 title = {6th IEEE Symposium on Field-Programmable Custom Computing
 Machines (FCCM '98), 15-17 April 1998, Napa Valley, CA,
 USA},
 booktitle = {FCCM},
 publisher = {IEEE Computer Society},
 year = {1998},
 isbn = {0-8186-8900-5},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/cp/SamulowitzB05,
 author = {Horst Samulowitz and
 Fahiem Bacchus},
 title = {Using SAT in QBF},
 booktitle = {CP},
 year = {2005},
 pages = {578-592},
 ee = {http://dx.doi.org/10.1007/11564751_43},
 crossref = {DBLP:conf/cp/2005},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cp/2005,
 editor = {Peter van Beek},
 title = {Principles and Practice of Constraint Programming - CP 2005,
 11th International Conference, CP 2005, Sitges, Spain, October
 1-5, 2005, Proceedings},
 booktitle = {CP},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {3709},
 year = {2005},
 isbn = {3-540-29238-1},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/ecai/KautzS92,
 author = {Henry A. Kautz and
 Bart Selman},
 title = {Planning as Satisfiability},
 booktitle = {ECAI},
 year = {1992},
 pages = {359-363},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/ijcai/HoffmannGSK07,
 author = {J{\"o}rg Hoffmann and
 Carla P. Gomes and
 Bart Selman and
 Henry A. Kautz},
 title = {SAT Encodings of State-Space Reachability Problems in Numeric
 Domains},
 booktitle = {IJCAI},
 year = {2007},
 pages = {1918-1923},
 ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-309.pdf},
 crossref = {DBLP:conf/ijcai/2007},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ijcai/2007,
 editor = {Manuela M. Veloso},
 title = {IJCAI 2007, Proceedings of the 20th International Joint
 Conference on Artificial Intelligence, Hyderabad, India,
 January 6-12, 2007},
 booktitle = {IJCAI},
 year = {2007},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/kr/KautzMS96,
 author = {Henry A. Kautz and
 David A. McAllester and
 Bart Selman},
 title = {Encoding Plans in Propositional Logic},
 booktitle = {KR},
 year = {1996},
 pages = {374-384},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/aaai/KautzS96,
 author = {Henry A. Kautz and
 Bart Selman},
 title = {Pushing the Envelope: Planning, Propositional Logic and
 Stochastic Search},
 booktitle = {AAAI/IAAI, Vol. 2},
 year = {1996},
 pages = {1194-1201},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{ForemanSegre/SAT/2002,
 author = {Sean L. Foremane and
 Alberto M. Segre},
 title = {{NAGSAT:} A Randomized, Complete, Parallel Solver for 3-{SAT}},
 booktitle = {SAT},
 year = {2002},
 pages = {236-243},
 crossref = {sat/2002}
}
@proceedings{sat/2002,
 editor = {Enrico Giunchiglia and
 Armando Tacchella},
 title = {Theory and Applications of Satisfiability Testing - SAT
 2002, 6th International Symposium, Cincinatti, OH, May
 6-9, 2002, Proceedings},
 booktitle = {SAT},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {2919},
 year = {2002},
 isbn = {978-3-540-20851-8}
}

@inproceedings{DBLP:conf/cp/ZhangM02,
 author = {Lintao Zhang and
 Sharad Malik},
 title = {Towards a Symmetric Treatment of Satisfaction and Conflicts
 in Quantified Boolean Formula Evaluation},
 booktitle = {CP},
 year = {2002},
 pages = {200-215},
 ee = {http://link.springer.de/link/service/series/0558/bibs/2470/24700200.htm},
 crossref = {DBLP:conf/cp/2002},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cp/2002,
 editor = {Pascal Van Hentenryck},
 title = {Principles and Practice of Constraint Programming - CP 2002,
 8th International Conference, CP 2002, Ithaca, NY, USA,
 September 9-13, 2002, Proceedings},
 booktitle = {CP},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {2470},
 year = {2002},
 isbn = {3-540-44120-4},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@techreport{Mitchell+:SFU:TR-2006-24,
 author = {David Mitchell and
 Eugenia Ternovska and
 Faraz Hach and
 Rahelah Mohebali},
 title = {Model Expansion as a Framework for Modelling and Solving Search Problems},
 institution = {Simon Fraser University},
 type = {Computing Science TR},
 number = {2006-42}
}

@techreport{Chandru-Rao:IISc-Banagalore:TR-CSA-1998-04,
 author = {Vijay Chandru and
 M. R. Rao},
 title = {Integer Programming},
 institution = {Indian Institute of Technology},
 type = {Computer Science and Automation TR},
 number = {98-04}
}