RCRA

Keyphrases

Publications

2008

C. Guillen, A. Lopez Lopez, G. De Ita
Computing #2-SAT of Grids, Grid-Cylinders and Grid-Tori Boolean Formulas. RCRA (2008)
Richard J. Wallace, Diarmuid Grimes, Eugene C. Freuder
Solving Dynamic Constraint Satisfaction Problems by Identifying Stable Features. RCRA (2008)
Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
Look-back Techniques for ASP Programs with Aggregates. RCRA (2008)
Josep Argelich, Inês Lynce
CNF Instances from the Software Package Installation Problem. RCRA (2008)
Fabrizio Riguzzi
The SLGAD Procedure for Inference on Logic Programs with Annotated Disjunctions. RCRA (2008)
Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. RCRA (2008)
Ruggero Bellio, Luca Di Gaspero, Andrea Schaerf
A Statistical Analysis of the Features of a Dynamic Tabu Search Algorithm for Course Timetabling Problems. RCRA (2008)
Alfonso Gerevini, Ivan Serina
Efficient Plan Adaptation through Replanning Windows and Heuristic Goals. RCRA (2008)
Maria del Pilar Pozos Parra, Verónica Borja Macías
Belief Merging without Distance Measures. RCRA (2008)
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
Preprocessing Techniques for QBFs. RCRA (2008)
Thanasis Balafoutis, Kostas Stergiou
Experimental Evaluation of Modern Variable Selection Strategies in Constraint Satisfaction Problems. RCRA (2008)
Ismel Brito, Pedro Meseguer
Distributed Cluster Tree Elimination. RCRA (2008)
Giorgio Terracina, Erika De Francesco, Claudio Panetta, Nicola Leone
Experiencing ASP with Real World Applications. RCRA (2008)
António Morgado, João Marques-Silva
Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem. RCRA (2008)

volume 451, 2008

Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008. RCRA 451 (2008)