Disambiguation evidence for Max-SAT via surface form
"MaxSMT"
Triples (1)
Triples where some other subject referred to this entity
as "MaxSMT".
linked to:
Z3: An Efficient SMT Solver