default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRCRA 2008: Udine, Italy
- Marco Gavanelli, Toni Mancini:
Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008. CEUR Workshop Proceedings 451, CEUR-WS.org 2008 - Josep Argelich, Inês Lynce:
CNF Instances from the Software Package Installation Problem. - Thanasis Balafoutis, Kostas Stergiou:
Experimental Evaluation of Modern Variable Selection Strategies in Constraint Satisfaction Problems. - Ruggero Bellio, Luca Di Gaspero, Andrea Schaerf:
A Statistical Analysis of the Features of a Dynamic Tabu Search Algorithm for Course Timetabling Problems. - Ismel Brito, Pedro Meseguer:
Distributed Cluster Tree Elimination. - Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Look-back Techniques for ASP Programs with Aggregates. - Alfonso Gerevini, Ivan Serina:
Efficient Plan Adaptation through Replanning Windows and Heuristic Goals. - Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
Preprocessing Techniques for QBFs. - Carlos Guillén, Aurelio López-López, Guillermo De Ita:
Computing #2-SAT of Grids, Grid-Cylinders and Grid-Tori Boolean Formulas. - António Morgado, João Marques-Silva:
Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem. - Maria del Pilar Pozos Parra, Verónica Borja Macías:
Belief Merging without Distance Measures. - Fabrizio Riguzzi:
The SLGAD Procedure for Inference on Logic Programs with Annotated Disjunctions. - Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima:
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. - Giorgio Terracina, Erika De Francesco, Claudio Panetta, Nicola Leone:
Experiencing ASP with Real World Applications. - Richard J. Wallace, Diarmuid Grimes, Eugene C. Freuder:
Solving Dynamic Constraint Satisfaction Problems by Identifying Stable Features.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-01 20:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
