Bridging Constraint Satisfaction and Boolean Satisfiability
-15%
portes grátis
Bridging Constraint Satisfaction and Boolean Satisfiability
Petke, Justyna
Springer International Publishing AG
10/2016
113
Mole
Inglês
9783319373645
15 a 20 dias
2058
Descrição não disponível.
Introduction.- Background.- Solver Performance on Tractable CSPs: Empirical Evaluation.- SAT Encodings.- From CSP to SAT: Width Restrictions.- From CSP to SAT: Language Restrictions.- SAT Encodings of a Classical Problem: A Case Study.- Conclusions.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Boolean Constraint Propagation (BCP);Boolean Satisfiability Problem (SAT);CSP Languages;CSP-Solvers;Constraint Programming (CP);Constraint Satisfaction Problem (CSP);Encodings
Introduction.- Background.- Solver Performance on Tractable CSPs: Empirical Evaluation.- SAT Encodings.- From CSP to SAT: Width Restrictions.- From CSP to SAT: Language Restrictions.- SAT Encodings of a Classical Problem: A Case Study.- Conclusions.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
