Binary Decision Diagrams/SAT Phase Transition
- Binary Decision Diagrams
- Bryant '92
- Sebastiani CADE 04 Slides pp. 53-58
- Phase Transition
- Sebastiani CADE 04 Slides pp. 29-37
Tuesday, January 25, 2005
About Me
-
- Name:Michael Fourman
- Location:Edinburgh, Scotland, United Kingdom
I am Head of the School of Informatics, and Professor of Computer Systems, at The University of Edinburgh.
My research interests are centred around applications of logics in Computer Science, Artificial Intelligence, and Cognitive Science.
Links
Previous Posts
- CNF: Davis Putnam and variations
- Propositional Logic Review
- First Lecture Today!
- Subscribe to the Atom Feed
Propositional Methods is an MSc course given at the University of Edinburgh
1 Comments:
I'm not sure how this happened but the Bryant paper has the pages reversed in the PDF...
Post a Comment
<< Home