Volume 63,
Numbers 1-3,
January-July 2008
Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion - RCRA 2007
- Marco Gavanelli, Toni Mancini:
RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion.
1-2
Electronic Edition (link) BibTeX
- João Marques-Silva:
Model checking with Boolean Satisfiability.
3-16
Electronic Edition (link) BibTeX
- Gilles Audemard, Saïd Jabbour, Lakhdar Sais:
SAT graph-based representation: A new perspective.
17-33
Electronic Edition (link) BibTeX
- Francesco Calimeri, Simona Perri, Francesco Ricca:
Experimenting with parallelism for the instantiation of ASP programs.
34-54
Electronic Edition (link) BibTeX
- Luca Di Gaspero, Andrea Roli:
Stochastic local search for large-scale instances of the haplotype inference problem by pure parsimony.
55-69
Electronic Edition (link) BibTeX
- Marco Maratea, Francesco Ricca, Wolfgang Faber, Nicola Leone:
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.
70-89
Electronic Edition (link) BibTeX
- Matti Järvisalo, Ilkka Niemelä:
The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study.
90-113
Electronic Edition (link) BibTeX
- Richard J. Wallace, Diarmuid Grimes:
Experimental studies of variable selection strategies based on constraint weights.
114-129
Electronic Edition (link) BibTeX
- Meritxell Vinyals, Andrea Giovannucci, Jesús Cerquides, Pedro Meseguer, Juan A. Rodríguez-Aguilar:
A test suite for the evaluation of mixed multi-unit combinatorial auctions.
130-150
Electronic Edition (link) BibTeX
Volume 63,
Number 4,
October 2008
Copyright © Sun May 17 00:06:13 2009
by Michael Ley (ley@uni-trier.de)
