New Techniques that Improve MACE-style Model Finding
Paper i proceeding, 2003

first-order logic

SAT

model finding

Författare

Koen Lindström Claessen

Chalmers, Institutionen för datavetenskap, Formella metoder

Chalmers, Institutionen för datavetenskap, Funktionell programmering

Niklas Sörensson

Göteborgs universitet

Model Computation

Ämneskategorier

Data- och informationsvetenskap