CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

New Techniques that Improve MACE-style Model Finding

Koen Claessen (Institutionen för datavetenskap, Formella metoder ; Institutionen för datavetenskap, Funktionell programmering) ; Niklas Sörensson
Model Computation (2003)
[Konferensbidrag, refereegranskat]

Nyckelord: first-order logic, model finding, SAT



Denna post skapades 2006-10-09. Senast ändrad 2013-02-28.
CPL Pubid: 2547

 

Institutioner (Chalmers)

Institutionen för datavetenskap, Formella metoder (2002-2004)
Institutionen för datavetenskap, Funktionell programmering (2002-2004)
Institutionen för data- och informationsteknik (GU) (GU)

Ämnesområden

Information Technology

Chalmers infrastruktur