Hierarchical Representations of Discrete Functions, with Application to Model Checking

The BDD space complexity of different forms of concurrency

Fundamenta Informaticae - Application of concurrency to system design

BDD-Nodes Can Be More Expressive

ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science

Generating random solutions for constraint satisfaction problems

Eighteenth national conference on Artificial intelligence

Case-factor diagrams for structured probabilistic modeling

UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence

AND/OR search spaces for graphical models

Artificial Intelligence

Case-factor diagrams for structured probabilistic modeling

Journal of Computer and System Sciences

AND/OR Multi-valued Decision Diagrams for Constraint Networks

Concurrency, Graphs and Models

On the use of partially ordered decision graphs for knowledge compilation and quantified Boolean formulae

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1

Knowledge compilation properties of tree-of-BDDs

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1

AND/OR multi-valued decision diagrams (AOMDDs) for graphical models

Journal of Artificial Intelligence Research

Compiling constraint networks into AND/OR multi-valued decision diagrams (AOMDDs)

CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming

SDD: a new canonical representation of propositional knowledge bases

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two

The BDD Space Complexity of Different Forms of Concurrency

Fundamenta Informaticae - Application of Concurrency to System Design