Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search.

Emir Demirovic, Peter J. Stuckey

Browse the full CP paper archive.