Sign in
On the complexity of finding falsifying assignments for Herbrand disjunctions.
Pavel Pudlák
Published in:
CoRR (2014)
Keyphrases
</>
computational complexity
data sets
worst case
logic programs
logic programming
real time
databases
information systems
video sequences