Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided SearchIncomplete MaxSAT, maxSAT, Solution-guided search
Core-Boosted Linear Search for Incomplete MaxSATcore-guided MaxSAT, incomplete solving, linear algorithm, Maximum Satisfiability, maxSAT, SAT-based MaxSAT
Modeling and solving staff scheduling with partial weighted maxSATCardinality constraints, Employee scheduling, maxSAT, SAT encodings