SMT-COMP: Satisfiability Modulo Theories Competition.

Clark W. Barrett Leonardo Mendonça de Moura Aaron Stump

Published in: CAV (2005)

Keyphrases

modulo theories
satisfiability modulo theories
answer set programming
stable model semantics
logic programs
sat solvers
answer sets
constraint solvers
artificial intelligence
logic programming
constraint satisfaction problems