Keyword:Satisfiability modulo assignment

Publications
On Conflict-Driven Reasoning Maria Paola Bonacina In:Automated Formal Methods