Alloy+HotCore: A Fast Approximation to Unsat Core.

Nicolás D'Ippolito Marcelo F. Frias Juan P. Galeotti Esteban Lanzarotti Sergio Mera

Published in: ASM (2010)

Keyphrases

approximation algorithms
sat solvers
approximation error
neural network
error bounds
polygonal approximation
databases
multi agent
special case
hidden markov models
np hard
constraint programming