Restoring CSP Satisfiability with MaxSAT

Inês Lynce, João Marques-Silva. Restoring CSP Satisfiability with MaxSAT. Fundamenta Informaticae, 107(2-3):249-266, 2011. [doi]

Abstract

Abstract is missing.