Iterative SAT Solving for Minimum Satisfiability.

Federico Heras, Antnio Morgado, Jordi Planes, Joo Marques-Silva

Browse the full ICTAI paper archive.