research
∙
06/09/2023
Explaining SAT Solving Using Causal Reasoning
The past three decades have witnessed notable success in designing effic...
share
research
∙
06/01/2023
Algorithms Transcending the SAT-Symmetry Interface
Dedicated treatment of symmetries in satisfiability problems (SAT) is in...
research
∙
04/09/2023
Proof Generation for CDCL Solvers Using Gauss-Jordan Elimination
Traditional Boolean satisfiability (SAT) solvers based on the conflict-d...
research
∙
10/18/2021
Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling
Given a Boolean formula φ over the set of variables X and a projection s...
research
∙
12/11/2018