Circumscription with Homomorphisms: Solving the Equality and Counterexample Problems.

Peter K. Rathmann Marianne Winslett Mark S. Manasse

Published in: J. ACM (1994)

Keyphrases

solving problems
combinatorial optimization
solving complex
problems involving
optimization problems
linear programming
quadratic programming
sparse linear systems
genetic algorithm
search space
model checking
decision problems
exact solution
linear programming problems
np complete problems