1![A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1 A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1](https://www.pdfsearch.io/img/8a5eafe60755fd39e7fbfa5cd44fb679.jpg) | Add to Reading ListSource URL: ceur-ws.orgLanguage: English - Date: 2008-12-04 03:03:05
|
---|
2![Solving Satisfiability Problems with Qualitative Preferences: a New Approach Emanuele Di Rosa, Enrico Giunchiglia, and Marco Maratea DIST - Universit`a di Genova, Italy. email:{emanuele,enrico,marco}@dist.unige.it Abstra Solving Satisfiability Problems with Qualitative Preferences: a New Approach Emanuele Di Rosa, Enrico Giunchiglia, and Marco Maratea DIST - Universit`a di Genova, Italy. email:{emanuele,enrico,marco}@dist.unige.it Abstra](https://www.pdfsearch.io/img/99e314327fe26f7e06c6b820c36ef6cb.jpg) | Add to Reading ListSource URL: tmancini.di.uniroma1.itLanguage: English - Date: 2008-12-16 11:05:58
|
---|
3![Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract](https://www.pdfsearch.io/img/a4df44d6f398087bad0e34abaf1a538f.jpg) | Add to Reading ListSource URL: ceur-ws.orgLanguage: English - Date: 2008-12-04 03:03:35
|
---|
4![Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck](https://www.pdfsearch.io/img/bb17ba1e2431919283e20e6e1a542be6.jpg) | Add to Reading ListSource URL: www.haz.caLanguage: English - Date: 2013-10-28 07:18:32
|
---|
5![Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract](https://www.pdfsearch.io/img/894d222dbfa494e78463631a28be57bc.jpg) | Add to Reading ListSource URL: tmancini.di.uniroma1.itLanguage: English - Date: 2008-12-16 11:06:34
|
---|
6![A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1 A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1](https://www.pdfsearch.io/img/765d2ccd5cd9bdb546752f49c34e4838.jpg) | Add to Reading ListSource URL: tmancini.di.uniroma1.itLanguage: English - Date: 2008-12-16 11:07:40
|
---|
7![Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International](https://www.pdfsearch.io/img/c87767f9d19b5eedacf19583146ace62.jpg) | Add to Reading ListSource URL: yices.csl.sri.comLanguage: English - Date: 2015-12-11 18:43:06
|
---|
8![LNCSA Tutorial on Satisfiability Modulo Theories LNCSA Tutorial on Satisfiability Modulo Theories](https://www.pdfsearch.io/img/022967fd9d4cc7b1440284bfeff08f11.jpg) | Add to Reading ListSource URL: yices.csl.sri.comLanguage: English - Date: 2015-12-11 18:43:06
|
---|
9![A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com](https://www.pdfsearch.io/img/63f658bd3da245cd48daa17156967b3e.jpg) | Add to Reading ListSource URL: yices.csl.sri.comLanguage: English - Date: 2015-12-11 18:43:06
|
---|