Partition-based lower bound for Max-CSP
From MaRDI portal
Publication:1871975
DOI10.1023/A:1020510611031zbMath1028.68156MaRDI QIDQ1871975
Javier Larrosa, Pedro Meseguer
Publication date: 4 May 2003
Published in: Constraints (Search for Journal in Brave)
Related Items (3)
Maximum feasibility estimation ⋮ Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories ⋮ Exact Max-SAT solvers for over-constrained problems
This page was built for publication: Partition-based lower bound for Max-CSP