Poul Frederick Williams

Publication Activity (10 Years)

Years Active: 1999-2003
Publications (10 Years): 0

Publications

Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard
Satisfiability checking using Boolean Expression Diagrams. Int. J. Softw. Tools Technol. Transf. 5 (1) (2003)
Poul Frederick Williams
Formal Verification based on Boolean Expression Diagrams. Electron. Notes Theor. Comput. Sci. 56 (2001)
Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard
Satisfiability Checking Using Boolean Expression Diagrams. TACAS (2001)
Poul Frederick Williams, Macha Nikolskaïa, Antoine Rauzy
Bypassing BDD construction for reliability analysis. Inf. Process. Lett. 75 (1-2) (2000)
Poul Frederick Williams, Armin Biere, Edmund M. Clarke, Anubhav Gupta
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking. CAV (2000)
Henrik Hulgaard, Poul Frederick Williams, Henrik Reif Andersen
Equivalence checking of combinational circuits using Boolean expression diagrams. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (7) (1999)
Poul Frederick Williams, Henrik Hulgaard, Henrik Reif Andersen
Equivalence checking of hierarchical combinational circuits. ICECS (1999)