Poul Frederick Williams

According to our database, Poul Frederick Williams authored at least 6 papers between 1999 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Formal Verification based on Boolean Expression Diagrams.

Poul Frederick Williams

Electronic Notes in Theoretical Computer Science 56, Elsevier, 2001

Satisfiability Checking Using Boolean Expression Diagrams.

Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

2000

Bypassing BDD construction for reliability analysis.

Poul Frederick Williams, Macha Nikolskaïa, Antoine Rauzy

Inf. Process. Lett., 2000

Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking.

Poul Frederick Williams, Armin Biere, Edmund M. Clarke, Anubhav Gupta

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Equivalence checking of combinational circuits using Boolean expression diagrams.

Henrik Hulgaard, Poul Frederick Williams, Henrik Reif Andersen

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

Equivalence checking of hierarchical combinational circuits.

Poul Frederick Williams, Henrik Hulgaard, Henrik Reif Andersen

Proceedings of the 6th IEEE International Conference on Electronics, Circuits and Systems, 1999