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

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

Result 1 to 20 of 65 total

Valid XHTML 1.0 Transitional Valid CSS!