An LP-Designed Algorithm for Constraint Satisfaction

DOI10.1007/11841036_53zbMath1131.90429MaRDI QIDQ5449561

Gregory B. Sorkin, Alexander D. Scott

Publication date: 11 March 2008

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

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

Mathematics Subject Classification ID

90C59: Approximation methods and heuristics in mathematical programming

90C08: Special problems of linear programming (transportation, multi-index, data envelopment analysis, etc.)

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

Uses Software

• MAX-2-SAT