, Nonserial Dynamic Programming, 1972.
Graph minors II: Algorithmic aspects of treewidth, Algorithms, vol.7, pp.309-322, 1986. ,
Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms, 2013. ,
, Constraint processing, 2003.
Complexity of finding embeddings in a k-tree, SIAM Journal of Disc. Math, vol.8, pp.277-284, 1987. ,
A graph theoretic study of the numerical solution of sparse positive definite systems of linear equations, Graph Theory and Computing, pp.183-217, 1972. ,
Triangulation of Graphs-Algorithms Giving Small Total State Space, Judex R.R. Aalborg, 1990. ,
Simple linear-time algorithms to test chordality of graphs, test acyclicity of hypergraphs, and selectively reduce acyclic hypergraphs, SIAM Journal on Computing, vol.13, issue.3, pp.566-579, 1984. ,
An Algorithmic Framework for Decomposing Constraint Networks, ICTAI, pp.1-8, 2015. ,
The PACE 2017 Parameterized Algorithms and Computational Experiments Challenge: The Second Iteration, IPEC, vol.30, p.12, 2018. ,
A Comparison of Structural CSP Decomposition Methods, AIJ, vol.124, pp.243-282, 2000. ,
Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning, JAIR, vol.58, pp.829-858, 2017. ,
Hybrid backtracking bounded by treedecomposition of constraint networks, AIJ, vol.146, pp.43-75, 2003. ,
The Impact of AND/OR Search Spaces on Constraint Satisfaction and Counting, CP, pp.731-736, 2004. ,
Exploiting Tree Decomposition and Soft Local Consistency in Weighted CSP, AAAI, pp.22-27, 2006. ,
Multi-language evaluation of exact solvers in graphical model discrete optimization, Constraints, vol.21, issue.3, pp.413-434, 2016. ,
Frequency Assignment-Models and Algorithms, 1999. ,
A practical algorithm for finding optimal triangulation, pp.185-190, 1997. ,
A complete anytime algorithm for treewidth, UAI, pp.201-208, 2004. ,
On exact algorithms for treewidth, ACM Trans. Algorithms, vol.9, issue.1, pp.1-12, 2012. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00804792
Towards a Dynamic Decomposition of CSPs with Separators of Bounded Size, CP, pp.298-315, 2016. ,
XCSP3: an integrated format for benchmarking combinatorial constrained problems, CoRR, 2016. ,
Combining restarts, nogoods and bagconnected decompositions for solving CSPs, Constraints, vol.22, issue.2, pp.191-229, 2017. ,
BTD and miniBTD, XCSP3 Competition, 2017. ,