Integrating Tree Decompositions into Decision Heuristics of Propositional Model Counters

Korhonen, TuukkaJärvisalo, MattiMichel, Laurent D.2022-01-172022-01-172021Korhonen, T & Järvisalo, M 2021, Integrating Tree Decompositions into Decision Heuristics of Propositional Model Counters. in L D Michel (ed.), 27th International Conference on Principles and Practice of Constraint Programming (CP 2021). LIPIcs-Leibniz International Proceedings in Informatics, vol. 210, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 8:1-8:11, 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), 25/09/2021. https://doi.org/10.4230/LIPIcs.CP.2021.8conferenceORCID: /0000-0003-2572-063X/work/106788189http://hdl.handle.net/10138/33868111engcc_byinfo:eu-repo/semantics/openAccessComputer and information sciencesIntegrating Tree Decompositions into Decision Heuristics of Propositional Model CountersConference contributionopenAccess0987097b-1f82-4943-b43a-c1c0ec525f5e85118144597