Abstract is missing.
- Advanced Heuristics for Parallel ASP InstantiationSimona Perri, Francesco Ricca, Marco Sirianni. [doi]
- Constrained Optimization Over Massive DatabasesToni Mancini, Pierre Flener, Amir Hossein Monshi, Justin Pearson. [doi]
- Evaluation of Knowledge Sharing Strategies in a Parallel QBF SolverPaolo Marin, Matthew D. T. Lewis, Tobias Schubert 0001, Massimo Narizzano, Bernd Becker 0001, Enrico Giunchiglia. [doi]
- Solving Hypertree Structured CSP: Sequential and Parallel ApproachesMohammed Lalou, Zineb Habbas, Kamal Amroun. [doi]
- Efficient Kernels for Sentence Pair ClassificationFabio Massimo Zanzotto, Lorenzo Dell'Arciprete. [doi]
- Improving the Automatic Test Generation process for Coverage Analysis using CBMCDamiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu, Salvatore Sabina. [doi]
- Applying Simulation and Reliability to Vehicle Routing Problems with Stochastic DemandsAngel A. Juan, Scott E. Grasman, Javier Faulin, Daniel Riera, Carlos A. Méndez, Bernardo Ruiz. [doi]
- Flexible Plan Verification: Feasibility ResultsAmedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci. [doi]
- An Empirical Analysis of Some Heuristic Features for Planning with Local Search in LPGAlfonso Gerevini, Alessandro Saetti, Ivan Serina. [doi]
- Comparing ASP and CP on Four Grid PuzzlesMehmet Çelik, Halit Erdogan, Firat Tahaoglu, Tansel Uras, Esra Erdem 0001. [doi]
- A structural approach to reasoning with quantified Boolean formulasLuca Pulina, Armando Tacchella. [doi]
- Restoring CSP Satisfiability with MaxSATInês Lynce, Joao Marques-Silva. [doi]
- A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier. [doi]