Sign in
On the complexity of finding falsifying assignments for Herbrand disjunctions.
Pavel Pudlák
Published in:
Arch. Math. Log. (2015)
Keyphrases
</>
worst case
logic programs
first order logic
machine learning
computational complexity
memory requirements
database
real time
data sets
evolutionary algorithm
probabilistic model
logic programming
social network analysis
decision problems