Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for 68T20 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2006 (4) 2007 (2) 2008 (5)
Publication types (Num. hits)
article(11)
Venues (Conferences, Journals, ...)
Ann. Math. Artif. Intell.(8) 4OR(3)
Authors
Michael Gelfond(2) Nicola Leone(2) Enrico Giunchiglia(1) Francesco Ricca(1) Gerald Pfeifer(1) Giorgio Fasano(1) José A. Moreno-Pérez(1) Jürgen Schmidhuber(1) Marcello Balduccini(1) Marco Maratea(1) Marek Petrik(1) Mark Wallace 0001(1) Matteo Gagliolo(1) Michela Milano(1) Monica L. Nogueira(1) Nenad Mladenovic(1) More (+10 of total 24)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 21 occurrences of 9 keywords
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
25Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang 0002 Integrating answer set programming and constraint logic programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30, 68T20, 03B70
25Enrico Giunchiglia, Nicola Leone, Marco Maratea On the relation among answer set solvers. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20
25Robert Mateescu, Rina Dechter Mixed deterministic and probabilistic networks. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T30, 62F30, 62F15, 68T37, 68T20
25Pierre Hansen, Nenad Mladenovic, José A. Moreno-Pérez Variable neighbourhood search: methods and applications. Search on Bibsonomy 4OR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF MSC classification 90C59, 68W25, 68T20
25Giorgio Fasano MIP-based heuristic for non-standard 3D-packing problems. Search on Bibsonomy 4OR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF MSC classification (2000) 05B40, 90C90, 90C59, 90C11, 68T20
25Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Francesco Ricca On look-ahead heuristics in disjunctive logic programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20
25Yulia Korukhova An approach to automatic deductive synthesis of functional programs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification 68T20
25Matteo Gagliolo, Jürgen Schmidhuber Learning dynamic algorithm portfolios. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T05, 62N99, 62G99, 68T20
25Marcello Balduccini, Michael Gelfond, Monica L. Nogueira Answer set based design of knowledge systems. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF PACS 68T30, 68T35, 68T20
25Marek Petrik, Shlomo Zilberstein Learning parallel portfolios of algorithms. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T05, 68T20
25Michela Milano, Mark Wallace 0001 Integrating operations research in constraint programming. Search on Bibsonomy 4OR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF MSC classifications 90C, 68T 68R99, 68T30, 68T27, 68T20
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license