Finding Guaranteed MUSes Fast.

Hans van Maaren Siert Wieringa

Published in: SAT (2008)

Keyphrases

finding optimal
real time
databases
neural network
three dimensional
optimal solution
evolutionary algorithm
special case