Breaking Symmetries with RootClique and LexTopSort
暂无分享,去创建一个
[1] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[2] Marius Thomas Lindauer,et al. AutoFolio: An Automatically Configured Algorithm Selector , 2015, J. Artif. Intell. Res..
[3] Stefan Woltran,et al. Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology , 2020, SAT.
[4] Jeremias Berg,et al. Solving Graph Problems via Potential Maximal Cliques , 2019, ACM J. Exp. Algorithmics.
[5] Helmut Veith,et al. Encoding Treewidth into SAT , 2009, SAT.
[6] Dimitrios M. Thilikos,et al. On exact algorithms for treewidth , 2006, TALG.
[7] Olivier Roussel,et al. Controlling a Solver Execution with the runsolver Tool , 2011, J. Satisf. Boolean Model. Comput..
[8] Boris Motik,et al. Benchmarking the Chase , 2017, PODS.
[9] Peter J. Stuckey,et al. Constraints for symmetry breaking in graph representation , 2018, Constraints.
[10] Atri Rudra,et al. FAQ: Questions Asked Frequently , 2015, PODS.
[11] Renée J. Miller,et al. The iBench Integration Metadata Generator , 2015, Proc. VLDB Endow..
[12] Rolf H. Möhring,et al. The Pathwidth and Treewidth of Cographs , 1993, SIAM J. Discret. Math..
[13] Matti Järvisalo,et al. SAT-Based Approaches to Treewidth Computation: An Evaluation , 2014, 2014 IEEE 26th International Conference on Tools with Artificial Intelligence.
[14] Johannes Klaus Fichte,et al. An Improved GPU-Based SAT Model Counter , 2019, CP.
[15] Jeff Heflin,et al. LUBM: A benchmark for OWL knowledge base systems , 2005, J. Web Semant..
[16] Georg Gottlob,et al. Hypertree decompositions and tractable queries , 1998, PODS '99.
[17] Viktor Leis,et al. How Good Are Query Optimizers, Really? , 2015, Proc. VLDB Endow..
[18] Dániel Marx,et al. Constraint solving via fractional edge covers , 2006, SODA '06.
[19] Eugene C. Freuder. A Sufficient Condition for Backtrack-Free Search , 1982, JACM.
[20] Rina Dechter,et al. Bucket Elimination: A Unifying Framework for Reasoning , 1999, Artif. Intell..
[21] Roberto Sebastiani,et al. OptiMathSAT: A Tool for Optimization Modulo Theories , 2015, Journal of Automated Reasoning.
[22] Georg Gottlob,et al. General and Fractional Hypertree Decompositions: Hard and Easy Cases , 2016, AMW.
[23] Stefan Woltran,et al. Exploiting Database Management Systems and Treewidth for Counting , 2020, PADL.
[24] Stefan Szeider,et al. Computing Optimal Hypertree Decompositions , 2020, ALENEX.
[25] Paolo Papotti,et al. Mapping and cleaning , 2014, 2014 IEEE 30th International Conference on Data Engineering.
[26] Marc Gyssens,et al. A unified theory of structural tractability for constraint satisfaction problems , 2008, J. Comput. Syst. Sci..
[27] Sebastian Berndt,et al. Jdrasil: A Modular Library for Computing Tree Decompositions , 2017, SEA.
[28] Eugene C. Freuder. A sufficient condition for backtrack-bounded search , 1985, JACM.
[29] Georg Gottlob,et al. A backtracking-based algorithm for hypertree decomposition , 2007, JEAL.
[30] Martin Gebser,et al. Multi-shot ASP solving with clingo , 2017, Theory and Practice of Logic Programming.
[31] Stefan Szeider,et al. An SMT Approach to Fractional Hypertree Width , 2018, CP.