Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "RCRA"( http://dblp.L3S.de/Venues/RCRA )

URL (DBLP): http://dblp.uni-trier.de/db/conf/rcra

Publication years (Num. hits)
2008 (15)
Publication types (Num. hits)
inproceedings(14) proceedings(1)
Venues (Conferences, Journals, ...)
RCRA(15)
Authors
Nicola Leone(2) Alfonso Gerevini(1) Andrea Schaerf(1) António Morgado 0001(1) Aurelio López-López(1) Carlos Guillén(1) Claudio Panetta(1) Diarmuid Grimes(1) Enrico Giunchiglia(1) Erika De Francesco(1) Eugene C. Freuder(1) Fabrizio Riguzzi(1) Francesco Ricca(1) Giorgio Terracina(1) Guillermo De Ita(1) Hidetomo Nabeshima(1) More (+10 of total 39)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Carlos Guillén, Aurelio López-López, Guillermo De Ita Computing #2-SAT of Grids, Grid-Cylinders and Grid-Tori Boolean Formulas. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Richard J. Wallace, Diarmuid Grimes, Eugene C. Freuder Solving Dynamic Constraint Satisfaction Problems by Identifying Stable Features. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Marco Maratea, Francesco Ricca Look-back Techniques for ASP Programs with Aggregates. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Josep Argelich, Inês Lynce CNF Instances from the Software Package Installation Problem. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Fabrizio Riguzzi The SLGAD Procedure for Inference on Logic Programs with Annotated Disjunctions. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Ruggero Bellio, Luca Di Gaspero, Andrea Schaerf A Statistical Analysis of the Features of a Dynamic Tabu Search Algorithm for Course Timetabling Problems. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Alfonso Gerevini, Ivan Serina Efficient Plan Adaptation through Replanning Windows and Heuristic Goals. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Marco Gavanelli, Toni Mancini (eds.) Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Maria del Pilar Pozos Parra, Verónica Borja Macías Belief Merging without Distance Measures. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Enrico Giunchiglia, Paolo Marin, Massimo Narizzano Preprocessing Techniques for QBFs. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Thanasis Balafoutis, Kostas Stergiou 0001 Experimental Evaluation of Modern Variable Selection Strategies in Constraint Satisfaction Problems. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Ismel Brito, Pedro Meseguer Distributed Cluster Tree Elimination. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Giorgio Terracina, Erika De Francesco, Claudio Panetta, Nicola Leone Experiencing ASP with Real World Applications. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1António Morgado 0001, João Marques-Silva 0001 Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
Displaying result #1 - #15 of 15 (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