New Techniques that Improve MACE-style Model Finding
Paper in proceeding, 2003
first-order logic
SAT
model finding
Author
Koen Lindström Claessen
Chalmers, Department of Computing Science, Formal Methods
Chalmers, Department of Computing Science, Functional Programming
Niklas Sörensson
University of Gothenburg
Model Computation
Subject Categories
Computer and Information Science