Search Results for author:
Found 2 papers, 1 papers with code
Denoising Diffusion for Sampling SAT Solutions
Generating diverse solutions to the Boolean Satisfiability Problem (SAT) is a hard computational problem with practical applications for testing and functional verification of software and hardware designs.
Goal-Aware Neural SAT Solver
To demonstrate the capabilities of the query mechanism, we formulate an unsupervised (not depending on labels) loss function for Boolean Satisfiability Problem (SAT) and theoretically show that it allows the network to extract rich information about the problem.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
