Proof Complexity of Fragments of Long-Distance Q-Resolution.

Tomás Peitl Friedrich Slivovsky Stefan Szeider

Published in: SAT (2019)

Keyphrases

long distance
mutual exclusion
database
real time
high quality
computational complexity
space complexity
upper layer
automatic theorem proving
databases
high resolution
worst case
logic programs
consequence finding