default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Algorithms, Volume 63

> Home > Journals > Journal of Algorithms

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 63, Numbers 1-3, January-July 2008

Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion - RCRA 2007

- view
  authority control:
- export record
  dblp key:
  - journals/jal/GavanelliM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jal/GavanelliM08
Marco Gavanelli, Toni Mancini:
RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/jal/Marques-Silva08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jal/Marques-Silva08
João Marques-Silva:
Model checking with Boolean Satisfiability. 3-16
- view
  authority control:
- export record
  dblp key:
  - journals/jal/AudemardJS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jal/AudemardJS08
Gilles Audemard, Saïd Jabbour, Lakhdar Sais:
SAT graph-based representation: A new perspective. 17-33
- view
  authority control:
- export record
  dblp key:
  - journals/jal/CalimeriPR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jal/CalimeriPR08
Francesco Calimeri, Simona Perri, Francesco Ricca:
Experimenting with parallelism for the instantiation of ASP programs. 34-54
- view
  authority control:
- export record
  dblp key:
  - journals/jal/GasperoR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jal/GasperoR08
Luca Di Gaspero, Andrea Roli:
Stochastic local search for large-scale instances of the haplotype inference problem by pure parsimony. 55-69
- view
  authority control:
- export record
  dblp key:
  - journals/jal/MarateaRFL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jal/MarateaRFL08
Marco Maratea, Francesco Ricca, Wolfgang Faber, Nicola Leone:
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. 70-89
- view
  authority control:
- export record
  dblp key:
  - journals/jal/JarvisaloN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jal/JarvisaloN08
Matti Järvisalo, Ilkka Niemelä:
The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study. 90-113
- view
  authority control:
- export record
  dblp key:
  - journals/jal/WallaceG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jal/WallaceG08
Richard J. Wallace, Diarmuid Grimes:
Experimental studies of variable selection strategies based on constraint weights. 114-129
- view
  authority control:
- export record
  dblp key:
  - journals/jal/VinyalsGCMR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jal/VinyalsGCMR08
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

Volume 63, Number 4, October 2008

- view
  authority control:
- export record
  dblp key:
  - journals/jal/Brun08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jal/Brun08
Yuriy Brun:
Solving satisfiability in the tile assembly model with a constant-size tileset. 151-166
- view
  authority control:
- export record
  dblp key:
  - journals/jal/Williamson08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jal/Williamson08
Jon Williamson:
Objective Bayesian probabilistic logic. 167-183

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.