Keyword:Satisfiability modulo assignment

Papers