Investigation of maximum and minimum satisfiability problems using \(L\)-partition

DOI10.1023/B:AURC.0000019369.16127.34zbMath1074.90030MaRDI QIDQ2487731

A. V. Adel'shin

Publication date: 8 August 2005

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

integer linear programming

Mathematics Subject Classification ID

Integer programming (90C10) Linear programming (90C05)

Related Items

Analysis and solving SAT and MAX-SAT problems using an \(L\)-partition approach ⋮ ANALYSIS AND SOLUTION OF DISCRETE OPTIMIZATION PROBLEMS WITH LOGICAL CONSTRAINTS ON THE BASE OF L-PARTITION APPROACH ⋮ ANALYSIS OF L-STRUCTURE OF POLYHEDRON IN THE PARTIAL MAX SAT PROBLEM