Topological parameters for time-space tradeoff

Hybrid backtracking bounded by tree-decomposition of constraint networks

Artificial Intelligence

Partition-based logical reasoning for first-order and propositional theories

Artificial Intelligence - Special volume on reformulation

Unifying tree decompositions for reasoning in graphical models

Artificial Intelligence

Controlled generation of hard and easy Bayesian networks: Impact on maximal clique size in tree clustering

Artificial Intelligence

Macroscopic models of clique tree growth for Bayesian networks

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

On the practical use of variable elimination in constraint optimization problems: 'still-life' as a case study

Journal of Artificial Intelligence Research

An algebraic graphical model for decision with uncertainties, feasibilities, and utilities

Journal of Artificial Intelligence Research

Dynamic heuristics for backtrack search on tree-decomposition of CSPs

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence

A comparison of time-space schemes for graphical models

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence

Optimal time-space tradeoff in probabilistic inference

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence

A scalable method for multiagent constraint optimization

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

Partition-based logical reasoning for first-order and propositional theories

Artificial Intelligence - Special volume on reformulation

Unifying tree decompositions for reasoning in graphical models

Artificial Intelligence

On the treewidth of NK landscapes

GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartI

Understanding the scalability of Bayesian network inference using clique tree growth curves

Artificial Intelligence

Portfolios in Stochastic Local Search: Efficiently Computing Most Probable Explanations in Bayesian Networks

Journal of Automated Reasoning

Decomposition of multi-operator queries on semiring-based graphical models

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

Phase transition of tractability in constraint satisfaction and bayesian network inference

UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence

On the threshold of having a linear treewidth in random graphs

COCOON'06 Proceedings of the 12th annual international conference on Computing and Combinatorics