Automated Deduction – CADE 29
Springer Nature
Chapter title |
SAT-Based Subsumption Resolution
|
---|---|
Chapter number | 11 |
Book title |
Automated Deduction – CADE 29
|
Published in |
arXiv, September 2023
|
DOI | 10.1007/978-3-031-38499-8_11 |
Book ISBNs |
978-3-03-138498-1, 978-3-03-138499-8
|
Authors |
Coutelier, Robin, Kovács, Laura, Rawson, Michael, Rath, Jakob, Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath |