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 51 total

Efficiently solving quantified bit-vector formulas. (English)
Formal Methods in System DesignFormal Methods in System Design 42, N0. 1, 3-23(2013)
WorldCat.org
1
Bandit-Based Search for Constraint Programming. (English)
CP, 464-480(2013)
WorldCat.org
2
Using Local Search with adaptive operator selection to solve the Progressive Party Problem. (English)
IEEE Congress on Evolutionary Computation, 554-561(2013)
WorldCat.org
3
Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem. (English)
LION, 315-320(2013)
WorldCat.org
4
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
5
Learning from conflicts in propositional satisfiability. (English)
4OR 10, No. 1, 15-32 (2012).
WorldCat.org
6
A Multi-objective Approach to Balance Buildings Construction Cost and Energy Efficiency. (English)
ECAI, 961-966(2012)
WorldCat.org
7
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
8
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
9
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
10
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
11
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
12
Boosting distributed constraint satisfaction. (English)
J. Heuristics 17, No. 3, 251-279 (2011).
WorldCat.org
13
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
14
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
15
Optimizing architectural and structural aspects of buildings towards higher energy efficiency. (English)
GECCO (Companion), 727-732(2011)
WorldCat.org
16
Deterministic Parallel DPLL. (English)
JSATJSAT 7, N0. 4, 127-132(2011)
WorldCat.org
17
Lazy Decomposition for Distributed Decision Procedures (English)
PDMC, 43-54(2011)
WorldCat.org
18
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).
WorldCat.org
19
Learning for Dynamic Subsumption. (English)
International Journal on Artificial Intelligence ToolsInternational Journal on Artificial Intelligence Tools 19, N0. 4, 511-529(2010)
WorldCat.org
20
first | previous | 1 21 41 | next | last

Result 1 to 20 of 51 total

Valid XHTML 1.0 Transitional Valid CSS!