| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Algorithms for computing backbones of propositional formulae
|
Janota, Mikoláš
|
|
2014
|
28 |
2 |
p. 161-177
|
article
|
| 2 |
An advanced scatter search algorithm for solving job shops with sequence dependent and non-anticipatory setups
|
González, Miguel A.
|
|
2014
|
28 |
2 |
p. 179-193
|
article
|
| 3 |
An application of constraint solving for home health care
|
Cattafi, Massimiliano
|
|
2014
|
28 |
2 |
p. 215-237
|
article
|
| 4 |
A particle swarm solution based on lexicographical goal programming for a multiobjective fuzzy open shop problem
|
Palacios, Juan José
|
|
2014
|
28 |
2 |
p. 239-257
|
article
|
| 5 |
Bayesian Network structure learning: Hybridizing complete search with independence tests
|
Badaloni, Silvana
|
|
2014
|
28 |
2 |
p. 309-322
|
article
|
| 6 |
Experimental evaluation of algorithms for solving problems with combinatorial explosion
|
Mancini, Toni
|
|
2015
|
28 |
2 |
p. 159-160
|
article
|
| 7 |
Exploiting macro-actions and predicting plan length in planning as satisfiability
|
Gerevini, Alfonso Emilio
|
|
2014
|
28 |
2 |
p. 323-344
|
article
|
| 8 |
MaxSAT-based encodings for Group MaxSAT
|
Heras, Federico
|
|
2014
|
28 |
2 |
p. 195-214
|
article
|
| 9 |
SAC and neighbourhood SAC
|
Wallace, Richard J.
|
|
2014
|
28 |
2 |
p. 345-364
|
article
|
| 10 |
Scheduling countermeasures to contamination events by genetic algorithms
|
Gavanelli, Marco
|
|
2014
|
28 |
2 |
p. 259-282
|
article
|
| 11 |
Solving the job shop scheduling problem with operators by depth-first heuristic search enhanced with global pruning rules
|
Mencía, Carlos
|
|
2014
|
28 |
2 |
p. 365-381
|
article
|
| 12 |
Verification of partial designs using incremental QBF
|
Miller, Christian
|
|
2014
|
28 |
2 |
p. 283-307
|
article
|
Journal description