Journal of Automated Reasoning (JAR), Volume 24
Volume 24, Numbers 1/2, February 2000
- Miron Abramovici, José T. de Sousa: A SAT Solver Using Reconfigurable Hardware and Virtual Logic. 5-36
- Etienne de Klerk, Hans van Maaren, Joost P. Warners: Relaxations of the Satisfiability Problem Using Semidefinite Programming. 37-65
- Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz: Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. 67-100
- Edward A. Hirsch: SAT Local Search Algorithms: Worst-Case Study. 127-143
- Wolfgang Küchlin, Carsten Sinz: Proving Consistency Assertions for Automotive Product Data Management. 145-163
- Patrick Mills, Edward P. K. Tsang: Guided Local Search for Solving SAT and Weighted MAX-SAT Problems. 205-223
Volume 24, Number 3, April 2000
- Peter Balsiger, Alain Heuerding, Stefan Schwendimann: A Benchmark Method for the Propositional Modal Logics K, KT, S4. 297-317
- Fabio Massacci: Single Step Tableaux for Modal Logics. 319-364
- Geoff Sutcliffe: The CADE-16 ATP System Competition. 371-396
Volume 24, Number 4, May 2000
- Edward A. Hirsch: New Worst-Case Upper Bounds for SAT. 397-420
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