Principles and Practice of Constraint Programming – CP 2004

DOI10.1007/b100482zbMath1152.68591OpenAlexW1508891358MaRDI QIDQ5900327

Weixiong Zhang, Zhao Xing

Publication date: 9 September 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100482

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (5)

Solving the weighted MAX-SAT problem using the dynamic convexized method ⋮ An efficient solver for weighted Max-SAT ⋮ MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability ⋮ Evaluating the impact of AND/OR search on 0-1 integer linear programming ⋮ Resolution for Max-SAT

Uses Software

• SATLIB
• WSAT(OIP)

This page was built for publication: Principles and Practice of Constraint Programming – CP 2004