Abstract is missing.
- Parallel SatisfiabilityTomás Balyo, Carsten Sinz. 3-29 [doi]
- Cube-and-Conquer for SatisfiabilityMarijn J. H. Heule, Oliver Kullmann, Armin Biere. 31-59 [doi]
- Parallel Maximum SatisfiabilityInês Lynce, Vasco M. Manquinho, Ruben Martins. 61-99 [doi]
- Parallel Solving of Quantified Boolean FormulasFlorian Lonsing, Martina Seidl. 101-139 [doi]
- Parallel Satisfiability Modulo TheoriesAntti E. J. Hyvärinen, Christoph M. Wintersteiger. 141-178 [doi]
- Parallel Theorem ProvingMaria Paola Bonacina. 179-235 [doi]
- Parallel Answer Set ProgrammingAgostino Dovier, Andrea Formisano, Enrico Pontelli. 237-282 [doi]
- Parallel Solvers for Mixed Integer Linear OptimizationTed K. Ralphs, Yuji Shinano, Timo Berthold, Thorsten Koch. 283-336 [doi]
- Parallel Constraint ProgrammingJean-Charles Régin, Arnaud Malapert. 337-379 [doi]
- Parallel Local SearchPhilippe Codognet, Danny Munera, Daniel Diaz, Salvador Abreu. 381-417 [doi]
- Parallel A* for State-Space SearchAlex Fukunaga, Adi Botea, Yuu Jinnai, Akihiro Kishimoto. 419-455 [doi]
- Parallel Model Checking Algorithms for Linear-Time Temporal LogicJiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault. 457-507 [doi]
- Multi-core Decision DiagramsTom van Dijk, Jaco van de Pol. 509-545 [doi]
- Parallel Model-Based DiagnosisKostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz. 547-580 [doi]
- Selection and Configuration of Parallel PortfoliosMarius Lindauer, Holger Hoos, Frank Hutter, Kevin Leyton-Brown. 583-615 [doi]
- An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded SystemsOrlando Ferrante, Alberto Ferrari, Christos Sofronis, Leonardo Mangeruca, Luca Benvenuti. 617-632 [doi]
- Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical NetworksAlejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada 0001. 633-665 [doi]