Improving Implementation of SAT Competitions 2017-2019 Winners.

Stepan Kochemazov

Published in: SAT (2020)

Keyphrases

satisfiability problem
real time
search algorithm
implementation details
neural network
website
multi agent systems
orders of magnitude
search strategies
hardware implementation
search problems
implementation issues