Volume 8, Numbers 1/2, 2012
Alberto Griggio: A Practical Approach to Satisability Modulo Linear Integer Arithmetic. 1-27- Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi: Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories. 29-61
- Marcel Wild: Compactly Generating All Satisfying Truth Assignments of a Horn Formula. 63-82
- Mikolás Janota, Inês Lynce, Vasco M. Manquinho, João Marques-Silva: PackUp: Tools for Package Upgradability Solving. 89-94
- Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Ryuzo Hasegawa: QMaxSAT: A Partial Max-SAT Solver. 95-100
- Uwe Bubeck, Hans Kleine Büning: Encoding Nested Boolean Functions as Quantified Boolean Formulas. 101-116
- Allen Van Gelder: Contrasat - A Contrarian SAT Solver. 117-122
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team