Backdoor Sets on Nowhere Dense SAT.

Daniel Lokshtanov Fahad Panolan M. S. Ramanujan

Published in: ICALP (2022)

Keyphrases

sat instances
satisfiability problem
sat solvers
video sequences
neural network
learning algorithm
variable ordering
sat solving