A Max-SAT Solver with Lazy Data Structures | Publicación