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

SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis. (English)
ICSE, 357-367(2016)
WorldCat.org
1
Towards Automated Strategies in Satisfiability Modulo Theory. (English)
EuroGP, 230-245(2016)
WorldCat.org
2
Automated Synthesis and Analysis of Switching Gene Regulatory Networks. (English)
Biosystems 146, 26-34(2016)
WorldCat.org
3
What we can learn from conflicts in propositional satisfiability. (English)
Annals OR 240, N0. 1, 13-37(2016)
WorldCat.org
4
Stochastic Local Search for Satisfiability Modulo Theories. (English)
AAAI, 1136-1143(2015)
WorldCat.org
6
Latent Topic Model Based Representations for a Robust Theme Identification of Highly Imperfect Automatic Transcriptions. (English)
CICLing (2), 596-605(2015)
WorldCat.org
7
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
8
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. (2014).
WorldCat.org
9
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
10
Using Comparative Preference Statements in Hypervolume-Based Interactive Multiobjective Optimization. (English)
LION, 121-136(2014)
WorldCat.org
11
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
12
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
13
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
14
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. (2013).
WorldCat.org
15
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
16
Efficiently solving quantified bit-vector formulas. (English)
Form. Methods Syst. Des. 42, No. 1, 3-23 (2013).
WorldCat.org
17
Using Local Search with adaptive operator selection to solve the Progressive Party Problem. (English)
IEEE Congress on Evolutionary Computation, 554-561(2013)
WorldCat.org
18
Combinatorial Search - From Algorithms to Systems. (English)
Combinatorial Search - From Algorithms to Systems., I-XIII, 1-139(2013)
WorldCat.org
19
Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem. (English)
LION, 315-320(2013)
WorldCat.org
20
first | previous | 1 21 41 61 | next | last

Result 1 to 20 of 66 total

Valid XHTML 1.0 Transitional Valid CSS!