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
Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete SolversUncategorized
Modeling and solving staff scheduling with partial weighted maxSATCardinality constraints, Employee scheduling, maxSAT, SAT encodings
MaxSAT-based large neighborhood search for high school timetablingHigh School Timetabling,, Large Neighborhood Search, Local Search, maxSAT
Variable Neighborhood Search for Google Machine Reassignment ProblemGeneralized Assignment Problem, Local Search, Machine Reassignment, Variable Neighborhood Search