Gaussian Elimination Meets Maximum Satisfiability

Download PDF
Open Webpage

Mate Soos, Kuldeep S. Meel

Published: 2021, Last Modified: 25 Jul 2025KR 2021EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Given a set of constraints F and a weight function W over the assignments, the problem of MaxSAT is to compute a maximum weighted solution of F. MaxSAT is a fundamental problem with applications in...