Volume 4,
Number 1,
April 2008
Volume 4,
Number 2-4,
September 2008
Special Issue on the 2007 Competitions
- Armin Biere:
PicoSAT Essentials.
75-97
Electronic Edition (link) BibTeX
- Marijn Heule, Hans van Maaren:
Parallel SAT Solving using Bit-level Operations.
99-116
Electronic Edition (link) BibTeX
- Marijn Heule, Hans van Maaren:
Whose side are you on? Finding solutions in a biased search-tree.
117-148
Electronic Edition (link) BibTeX
- Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar:
Combining Adaptive and Dynamic Local Search for Satisfiability.
149-172
Electronic Edition (link) BibTeX
- Ivor Spence:
tts: A SAT-Solver for Small, Difficult Instances.
173-190
Electronic Edition (link) BibTeX
- Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, Adnan Darwiche:
Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis.
191-217
Electronic Edition (link) BibTeX
- Wanxia Wei, Chu Min Li, Harry Zhang:
A Switching Criterion for Intensification and Diversification in Local Search for SAT.
219-237
Electronic Edition (link) BibTeX
- Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex:
2006 and 2007 Max-SAT Evaluations: Contributed Instances.
239-250
Electronic Edition (link) BibTeX
- Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes:
The First and Second Max-SAT Evaluations.
251-278
Electronic Edition (link) BibTeX
- Ewald Speckenmeyer, Armando Tacchella, Vasco Manquinho, Chu Min Li:
Guest Editors Conclusion.
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:11:18 2009
by Michael Ley (ley@uni-trier.de)
