SAT solving for argument filterings

Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

13 Scopus citations

Fingerprint

Dive into the research topics of 'SAT solving for argument filterings'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science