The following pages link to Eugene Goldberg (Q479821):
Displayed 17 items.
- Quantifier elimination by dependency sequents (Q479823) (← links)
- Proving unsatisfiability of CNFs locally (Q1610678) (← links)
- Testing satisfiability of CNF formulas by computing a stable set of points (Q1777393) (← links)
- BerkMin: A fast and robust SAT-solver (Q2643301) (← links)
- (Q2741516) (← links)
- Software for Quantifier Elimination in Propositional Logic (Q2879137) (← links)
- A Decision-Making Procedure for Resolution-Based SAT-Solvers (Q3502699) (← links)
- (Q3620438) (← links)
- Boundary Points and Resolution (Q3637164) (← links)
- On a linear diophantine equation (Q4071301) (← links)
- Electrostatic sieve (Q4092052) (← links)
- (Q4809054) (← links)
- Theory and Applications of Satisfiability Testing (Q5325849) (← links)
- SAT-Solving Based on Boundary Point Elimination (Q5391525) (← links)
- On Bridging Simulation and Formal Verification (Q5452712) (← links)
- Theory and Applications of Satisfiability Testing (Q5713751) (← links)
- Determinization of Resolution by an Algorithm Operating on Complete Assignments (Q5756586) (← links)