16 citations · 16 across the 3 of their papers we have counts for
3 papers
cs.DC2023
Shared SAT Solvers and SAT Memory in Distributed Business Applications
Sergejs Kozlovičs
We propose a software architecture where SAT solvers act as a shared network resource for distributed business applications. There can be multiple parallel SAT solvers running eith…
cs.AI2022
Denoising Diffusion for Sampling SAT Solutions
Karlis Freivalds, Sergejs Kozlovics
Generating diverse solutions to the Boolean Satisfiability Problem (SAT) is a hard computational problem with practical applications for testing and functional verification of soft…
cs.LG2021★ 16 cited
Goal-Aware Neural SAT Solver
Emils Ozolins, Karlis Freivalds, Andis Draguns +3
Modern neural networks obtain information about the problem and calculate the output solely from the input values. We argue that it is not always optimal, and the network's perform…