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 (SSIF 2011)
Data- och informationsvetenskap