Login / Signup

Polynomial-Time Validation of QCDCL Certificates.

Tomás PeitlFriedrich SlivovskyStefan Szeider
Published in: SAT (2018)
Keyphrases
  • special case
  • computational complexity
  • approximation algorithms
  • worst case
  • access control
  • machine learning
  • decision trees
  • programming language
  • hidden markov models
  • finite automata