Automated Inference of Finite Unsatisfiability
Artikel i vetenskaplig tidskrift, 2011
Automated reasoning
Automated theorem proving
theorem prover
Finite unsatisfiability
Författare
Koen Lindström Claessen
Chalmers, Data- och informationsteknik, Programvaruteknik
Ann Lillieström
Chalmers, Data- och informationsteknik, Programvaruteknik
Journal of Automated Reasoning
0168-7433 (ISSN) 1573-0670 (eISSN)
Vol. 47 2 111-132Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/s10817-010-9216-8