Stop the war!Остановите войну!
for scientists:
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.
a service of 
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-04-25 04:50 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:
