Handbook of Parallel Constraint Reasoning

Part I, Theory and Algorithms.- Parallel Satisfiability.- Cube-and-Conquer for Satisfiability.- Parallel Maximum Satisfiability.- Parallel Solving of Quantified Boolean Formulas.- Parallel Satisfiability Modulo Theories.- Parallel Theorem Proving.- Parallel Answer Set Programming.- Parallel Solvers for Mixed Integer Linear Optimization.- Parallel Constraint Programming.- Parallel Local Search.- Parallel A* for State-Space Search.- Parallel Model Checking Algorithms for Linear-Time Temporal Logic.- Multi-core Decision Diagrams.- Parallel Model-Based Diagnosis.- Part II, Tools and Applications.- Selection and Configuration of Parallel Portfolios.- An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems.- Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical Networks.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Optimização
• Pesquisa operacional
• Inteligência artificial
• Teoria matemática da computação
• Decisões de gestão

Parallel Solving;Satisfiability (SAT);MaxSAT;SAT Modulo Theory (SMT);Quantified Boolean Formulas (QBF);Constraint Programming (CP);Local Search;Answer Set Programming (ASP);Theorem Proving (TP);Algorithm Configuration;Algorithm Selection