Superposition Reasoning about Quantified Bitvector Formulas.

David Damestani Laura Kovács Martin Suda

Published in: SYNASC (2019)

Keyphrases

complete axiomatization
modal operators
spatial reasoning
theorem proving
qualitative reasoning
mathematical formulas
universally quantified
artificial intelligence
case study