Login / Signup
Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR.
Tobias Seufert
Felix Winterer
Christoph Scholl
Karsten Scheibler
Tobias Paxian
Bernd Becker
Published in:
CoRR (2021)
Keyphrases
</>
database
theorem prover
databases
agent architecture
efficient computation
deontic logic
linear logic
web services
objective function
data structure
multiresolution
case based reasoning
efficient learning
natural deduction