Core minimization in SAT-based abstraction.

Anton Belov Huan Chen Alan Mishchenko João Marques-Silva

Published in: DATE (2013)

Keyphrases

bounded model checking
high level
answer set programming
neural network
objective function
model checking
data abstraction
constraint solver
boolean satisfiability
database
genetic algorithm
constraint satisfaction problems
temporal logic
answer sets
regularization term