Result 1 to 20 of 58 total
Learning and intelligent optimization. 6th international conference, LION 6, Paris, France, January 16‒20, 2012. Revised selected papers. (English)
Lecture Notes in Computer Science 7219. Berlin: Springer (ISBN 978-3-642-34412-1/pbk). xxiii, 514~p. EUR~64.99 (2012).
1
Learning from conflicts in propositional satisfiability. (English)
4OR 10, No. 1, 15-32 (2012).
2
Improving parallel local search for SAT. (English)
Coello Coello, Carlos A. (ed.), Learning and intelligent optimization. 5th international conference, LION 5, Rome, Italy, January 17‒21, 2011. Selected papers. Berlin: Springer (ISBN 978-3-642-25565-6/pbk). Lecture Notes in Computer Science 6683, 46-60 (2011).
3
Control-based clause sharing in parallel SAT solving. (English)
Hamadi, Youssef (ed.) et al., Autonomous search. Berlin: Springer (ISBN 978-3-642-21433-2/hbk; 978-3-642-21434-9/ebook). 245-267 (2011).
4
Continuous search in constraint programming. (English)
Hamadi, Youssef (ed.) et al., Autonomous search. Berlin: Springer (ISBN 978-3-642-21433-2/hbk; 978-3-642-21434-9/ebook). 219-243 (2011).
5
An introduction to autonomous search. (English)
Hamadi, Youssef (ed.) et al., Autonomous search. Berlin: Springer (ISBN 978-3-642-21433-2/hbk; 978-3-642-21434-9/ebook). 1-11 (2011).
6
Autonomous search. (English)
Berlin: Springer (ISBN 978-3-642-21433-2/hbk; 978-3-642-21434-9/ebook). xv, 305~p. EUR~99.95/net; SFR~133.50; \sterling~90.00; \$~129.00 (2011).
7
Boosting distributed constraint satisfaction. (English)
J. Heuristics 17, No. 3, 251-279 (2011).
8
Connections and integration with SAT solvers: A survey and a case study in computational biology. (English)
Milano, Michela (ed.) et al., Hybrid optimization. The ten years of CPAIOR. New York, NY: Springer (ISBN 978-1-4419-1643-3/hbk; 978-1-4419-1644-0/ebook). Springer Optimization and Its Applications 45, 425-461 (2011).
9
What is autonomous search? (English)
Milano, Michela (ed.) et al., Hybrid optimization. The ten years of CPAIOR. New York, NY: Springer (ISBN 978-1-4419-1643-3/hbk; 978-1-4419-1644-0/ebook). Springer Optimization and Its Applications 45, 357-391 (2011).
10
Deterministic parallel DPLL (English)
JSAT 7, No. 4, 127-132 (2011).
11
Lazy decomposition for distributed decision procedures (English)
PDMC, 43-54 (2011).
12
Optimizing architectural and structural aspects of buildings towards higher energy efficiency (English)
GECCO (Companion), 727-732 (2011).
13
Improving parallel local search for SAT (English)
LION, 46-60 (2011).
14
Diversification and intensification in parallel SAT solving. (English)
Cohen, David (ed.), Principles and practice of constraint programming ‒ CP 2010. 16th international conference, CP 2010, St. Andrews, Scotland, September 6‒10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15395-2/pbk). Lecture Notes in Computer Science 6308, 252-265 (2010).
15
Adaptive K-parallel best-first search: A simple but efficient algorithm for multi-core domain-independent planning (English)
SOCS (2010).
16
Efficiently solving quantified bit-vector formulas (English)
FMCAD, 239-246 (2010).
17
Continuous search in constraint programming (English)
ICTAI (1), 53-60 (2010).
18
A parallel solving algorithm for quantified constraints problems (English)
ICTAI (1), 271-274 (2010).
19
Diversification and intensification in parallel SAT solving (English)
CP, 252-265 (2010).
20
Result 1 to 20 of 58 total
Start
Contact
Print
General Help
