ArgSemSAT: Solving Argumentation Problems Using SAT.

Federico Cerutti Massimiliano Giacomin Mauro Vallati

Published in: COMMA (2014)

Keyphrases

np complete problems
solving problems
optimization problems
np complete
sat solving
weighted max sat
search algorithm
sat instances
graph coloring
algebraic equations
reinforcement learning
search strategies
variable ordering
convex optimization problems
problems in artificial intelligence