Travelled to:1 × Italy
1 × USA
Collaborated with:H.R.Andersen H.Hulgaard A.Biere E.M.Clarke A.Gupta
Talks about:diagram (2) check (2) procedur (1) satisfi (1) express (1) boolean (1) symbol (1) effici (1) combin (1) model (1)
Person: Poul Frederick Williams
DBLP: Williams:Poul_Frederick
Contributed to:
2001
2000Wrote 2 papers:
- TACAS-2001-WilliamsAH #diagrams #satisfiability #using
- Satisfiability Checking Using Boolean Expression Diagrams (PFW, HRA, HH), pp. 39–51.
- CAV-2000-WilliamsBCG #diagrams #model checking #performance #satisfiability
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking (PFW, AB, EMC, AG), pp. 124–138.