InKreSAT: Modal Reasoning via Incremental Reduction to SAT
Work
Year: 2013
Type: book-chapter
Authors Mark Kaminski, Tobias Tebbi
Institutions University of Oxford, Saarland University
Cites: 21
Cited by: 22
Related to: 10
FWCI: 1.453
Citation percentile (by year/subfield): 94.45
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed