João P. Silva

Algebraic Simplification Techniques for Propositional Satisfiability

João P. Silva, 2000 .

The Impact of Branching Heuristics in Propositional Satisfiability Algorithms

João P. Silva, 1999 .