Towards Universally Accessible SAT Technology.

Alexey Ignatiev Zi Li Tan Christos Karamanos

Published in: SAT (2024)

Keyphrases

case study
rapid development
key technologies
search algorithm
cost effective
satisfiability problem
data sets
data mining
data processing
neural network
lower bound
computer systems
search strategies
st century