-Weight SAT and Max Coverage.

Pallavi Jain Lawqueen Kanesh Fahad Panolan Souvik Saha Abhishek Sahu Saket Saurabh Anannya Upasana

Published in: SODA (2023)

Keyphrases

weight assignment
sat solvers
satisfiability problem
search algorithm
sat problem
phase transition
max sat
data sets
neural network
sat solving
case study
np complete
propositional satisfiability