LAUSR

Dynamic Initial Weight Assignment for MaxSAT

Sign Up to like & get
recommendations!
1 Published in 2021 at "Algorithms"

DOI: 10.3390/a14040115

Abstract: The Maximum Satisfiability (Maximum Satisfiability (MaxSAT)) approach is the choice, and perhaps the only one, to deal with most real-world problems as most of them are unsatisfiable. Thus, the search for a complete and consistent… read more here.

Keywords: performance; weight assignment; dynamic initial; ddfw initmaxsat ... See more keywords