10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012

Published in: SMT@IJCAR (2013)

Keyphrases

modulo theories
lecture notes
satisfiability modulo theories
hong kong
answer set programming
computer science
expert systems
selected papers
stable model semantics
logic programs
sat solvers
knowledge representation
artificial intelligence
evolutionary algorithm
answer sets