Automated Inference of Finite Unsatisfiability
Journal article, 2011
Automated reasoning
Automated theorem proving
theorem prover
Finite unsatisfiability
Author
Koen Lindström Claessen
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Ann Lillieström
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Journal of Automated Reasoning
0168-7433 (ISSN) 1573-0670 (eISSN)
Vol. 47 2 111-132Subject Categories
Computer and Information Science
DOI
10.1007/s10817-010-9216-8