Poul Frederick Williams
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2000–2001
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | TACAS | Satisfiability Checking Using Boolean Expression Diagrams. | Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard |
| 2000 | CAV | Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking. | Poul Frederick Williams, Armin Biere, Edmund M. Clarke, Anubhav Gupta |