History


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 | next | last

Result 1 to 20 of 53 total

Efficiently solving quantified bit-vector formulas. (English)
Form. Methods Syst. Des. 42, No. 1, 3-23 (2013).
WorldCat.org
1
Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem. (English)
LION, 315-320(2013)
WorldCat.org
2
Combinatorial Search - From Algorithms to Systems. (English)
Combinatorial Search - From Algorithms to Systems., I-XIII, 1-139(2013)
WorldCat.org
3
Guest editorial: special issue - revised selected papers of the LION 6 conference. (English)
Ann. Math. Artif. Intell.Ann. Math. Artif. Intell. 69, N0. 2, 149-150(2013)
WorldCat.org
4
Using Local Search with adaptive operator selection to solve the Progressive Party Problem. (English)
IEEE Congress on Evolutionary Computation, 554-561(2013)
WorldCat.org
5
Bandit-Based Search for Constraint Programming. (English)
CP, 464-480(2013)
WorldCat.org
6
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).
WorldCat.org
7
Learning from conflicts in propositional satisfiability. (English)
4OR 10, No. 1, 15-32 (2012).
WorldCat.org
8
A Multi-objective Approach to Balance Buildings Construction Cost and Energy Efficiency. (English)
ECAI, 961-966(2012)
WorldCat.org
9
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).
WorldCat.org
10
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).
WorldCat.org
11
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).
WorldCat.org
12
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).
WorldCat.org
13
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).
WorldCat.org
14
Boosting distributed constraint satisfaction. (English)
J. Heuristics 17, No. 3, 251-279 (2011).
WorldCat.org
15
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).
WorldCat.org
16
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).
WorldCat.org
17
Deterministic Parallel DPLL. (English)
JSATJSAT 7, N0. 4, 127-132(2011)
WorldCat.org
18
Optimizing architectural and structural aspects of buildings towards higher energy efficiency. (English)
GECCO (Companion), 727-732(2011)
WorldCat.org
19
Lazy Decomposition for Distributed Decision Procedures (English)
PDMC, 43-54(2011)
WorldCat.org
20
first | previous | 1 21 41 | next | last

Result 1 to 20 of 53 total

Valid XHTML 1.0 Transitional Valid CSS!