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 60 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
Analyzing and Synthesizing Genomic Logic Functions. (English)
CAV, 343-357(2014)
WorldCat.org
2
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. (English)
QEST, 388-403(2014)
WorldCat.org
3
Using Comparative Preference Statements in Hypervolume-Based Interactive Multiobjective Optimization. (English)
LION, 121-136(2014)
WorldCat.org
4
Efficiently solving quantified bit-vector formulas. (English)
Form. Methods Syst. Des. 42, No. 1, 3-23 (2013).
WorldCat.org
5
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
6
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
7
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
8
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
9
Using Local Search with adaptive operator selection to solve the Progressive Party Problem. (English)
IEEE Congress on Evolutionary Computation, 554-561(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
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
12
Combinatorial Search - From Algorithms to Systems. (English)
Combinatorial Search - From Algorithms to Systems., I-XIII, 1-139(2013)
WorldCat.org
13
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
14
Learning from conflicts in propositional satisfiability. (English)
4OR 10, No. 1, 15-32 (2012).
WorldCat.org
15
A Multi-objective Approach to Balance Buildings Construction Cost and Energy Efficiency. (English)
ECAI, 961-966(2012)
WorldCat.org
16
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
17
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
18
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
19
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
20
first | previous | 1 21 41 | next | last

Result 1 to 20 of 60 total

Valid XHTML 1.0 Transitional Valid CSS!