2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.DS2024
Engineering an Efficient Approximate DNF-Counter
Mate Soos, Uddalok Sarkar, Divesh Aggarwal +3
Model counting is a fundamental problem in many practical applications, including query evaluation in probabilistic databases and failure-probability estimation of networks. In thi…
cs.LO2024
Formally Certified Approximate Model Counting
Yong Kiam Tan, Jiong Yang, Mate Soos +2
Approximate model counting is the task of approximating the number of solutions to an input Boolean formula. The state-of-the-art approximate model counter for formulas in conjunct…
cs.LO2023★ 2 cited
Proof Generation for CDCL Solvers Using Gauss-Jordan Elimination
Mate Soos, Randal E. Bryant
Traditional Boolean satisfiability (SAT) solvers based on the conflict-driven clause-learning (CDCL) framework fare poorly on formulas involving large numbers of parity constraints…