research
∙
06/17/2023
Notes on "Bounds on BDD-Based Bucket Elimination”
This paper concerns Boolean satisfiability (SAT) solvers based on Ordere...
share
research
∙
04/09/2023
Proof Generation for CDCL Solvers Using Gauss-Jordan Elimination
Traditional Boolean satisfiability (SAT) solvers based on the conflict-d...
research
∙
05/03/2021
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
In 2006, Biere, Jussila, and Sinz made the key observation that the unde...
research
∙
07/31/2020
From Data to Knowledge to Action: Enabling the Smart Grid
Our nation's infrastructure for generating, transmitting, and distributi...
research
∙
10/17/2017