New Techniques that Improve MACE-style Model Finding
Paper in proceedings, 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

More information

Created

10/6/2017