Superposition with First-Class Booleans and Inprocessing Clausification

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

Original languageEnglish
Title of host publicationAutomated Deduction – CADE 2021
Subtitle of host publication28th International Conference on Automated Deduction, Proceedings
Publication statusAccepted/In press - 9 Apr 2021

Cite this