History


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

Result 1 to 20 of 62 total

Stochastic Local Search for Satisfiability Modulo Theories. (English)
AAAI, 1136-1143(2015)
WorldCat.org
1
Latent Topic Model Based Representations for a Robust Theme Identification of Highly Imperfect Automatic Transcriptions. (English)
CICLing (2), 596-605(2015)
WorldCat.org
3
Symbolic approximation of the bounded reachability probability in large Markov chains. (English)
Norman, Gethin (ed.) et al., Quantitative evaluation of systems. 11th international conference, QEST 2014, Florence, Italy, September 8‒10, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-10695-3/pbk). Lecture Notes in Computer Science 8657, 388-403 (2014).
WorldCat.org
4
Tractability. Practical approaches to hard problems. (English)
Cambridge: Cambridge University Press (ISBN 978-1-107-02519-6/hbk; 978-1-139-17780-1/ebook). xxii, 377~p. \sterling~99.99 (2014).
WorldCat.org
5
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
6
Using Comparative Preference Statements in Hypervolume-Based Interactive Multiobjective Optimization. (English)
LION, 121-136(2014)
WorldCat.org
7
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
8
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
9
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
10
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
11
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
12
Efficiently solving quantified bit-vector formulas. (English)
Form. Methods Syst. Des. 42, No. 1, 3-23 (2013).
WorldCat.org
13
Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem. (English)
LION, 315-320(2013)
WorldCat.org
14
Using Local Search with adaptive operator selection to solve the Progressive Party Problem. (English)
IEEE Congress on Evolutionary Computation, 554-561(2013)
WorldCat.org
15
Combinatorial Search - From Algorithms to Systems. (English)
Combinatorial Search - From Algorithms to Systems., I-XIII, 1-139(2013)
WorldCat.org
16
A multi-objective approach to balance buildings construction cost and energy efficiency. (English)
De Raedt, Luc (ed.) et al., ECAI 2012. 20th European conference on artificial intelligence, Montpellier, France, August 27‒31, 2012. Proceedings. Including proceedings of the 7th conference on prestigious applications of artificial intelligence (PAIS-2012) and the system demonstrations track. Amsterdam: IOS Press (ISBN 978-1-61499-097-0/pbk; 978-1-61499-098-7/ebook). Frontiers in Artificial Intelligence and Applications 242, 961-966 (2012).
WorldCat.org
17
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
18
Learning from conflicts in propositional satisfiability. (English)
4OR 10, No. 1, 15-32 (2012).
WorldCat.org
19
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
20
first | previous | 1 21 41 61 | next | last

Result 1 to 20 of 62 total

Valid XHTML 1.0 Transitional Valid CSS!