Keyword:Satisfiability modulo assignment

Publications