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

Analyzing and synthesizing genomic logic functions. (English)
Biere, Armin (ed.) et al., Computer aided verification. 26th international conference, CAV 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 18‒22, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08866-2/pbk). Lecture Notes in Computer Science 8559, 343-357 (2014).
WorldCat.org
1
Using Comparative Preference Statements in Hypervolume-Based Interactive Multiobjective Optimization. (English)
LION, 121-136(2014)
WorldCat.org
2
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. (English)
QEST, 388-403(2014)
WorldCat.org
3
SMT-based analysis of biological computation. (English)
Brat, Guillaume (ed.) et al., NASA formal methods. 5th international symposium, NFM 2013, Moffett Field, CA, USA, May 14‒16, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38087-7/pbk). Lecture Notes in Computer Science 7871, 78-92 (2013).
WorldCat.org
4
Functional analysis of large-scale DNA strand displacement circuits. (English)
Soloveichik, David (ed.) et al., DNA computing and molecular programming. 19th international conference, DNA 19, Tempe, AZ, USA, September 22‒27, 2013. Proceedings. Berlin: Springer (ISBN 978-3-319-01927-7/pbk). Lecture Notes in Computer Science 8141, 189-203 (2013).
WorldCat.org
5
Guest editorial: Special issue ‒ revised selected papers of the LION 6 conference. (English)
Ann. Math. Artif. Intell. 69, No. 2, 149-150 (2013).
WorldCat.org
6
Combinatorial search: from algorithms to systems. (English)
Berlin: Springer (ISBN 978-3-642-41481-7/hbk; 978-3-642-41482-4/ebook). xiii, 139~p. EUR~90.94; \sterling~76.50; SFR~113.50 (2013).
WorldCat.org
7
Bandit-based search for constraint programming. (English)
Schulte, Christian (ed.), Principles and practice of constraint programming. 19th international conference, CP 2013, Uppsala, Sweden, September 16‒20, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40626-3/pbk). Lecture Notes in Computer Science 8124, 464-480 (2013).
WorldCat.org
8
Efficiently solving quantified bit-vector formulas. (English)
Form. Methods Syst. Des. 42, No. 1, 3-23 (2013).
WorldCat.org
9
Combinatorial Search - From Algorithms to Systems. (English)
Combinatorial Search - From Algorithms to Systems., I-XIII, 1-139(2013)
WorldCat.org
10
Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem. (English)
LION, 315-320(2013)
WorldCat.org
11
Using Local Search with adaptive operator selection to solve the Progressive Party Problem. (English)
IEEE Congress on Evolutionary Computation, 554-561(2013)
WorldCat.org
12
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
13
Learning from conflicts in propositional satisfiability. (English)
4OR 10, No. 1, 15-32 (2012).
WorldCat.org
14
A Multi-objective Approach to Balance Buildings Construction Cost and Energy Efficiency. (English)
ECAI, 961-966(2012)
WorldCat.org
15
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
16
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
17
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
18
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
19
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
20
first | previous | 1 21 41 | next | last

Result 1 to 20 of 58 total

Valid XHTML 1.0 Transitional Valid CSS!