Login / Signup
Hard satisfiable formulas for DPLL algorithms using heuristics with small memory.
Nikita Gaevoy
Published in:
CoRR (2021)
Keyphrases
</>
hard problems
memory usage
genetic algorithm
computational complexity
significant improvement
memory requirements
randomly generated
random instances
optimization problems
main memory
search strategies
satisfiability problem
sat instances