Cited By
View all- Bliznets IHecher M(2024)Tight Double Exponential Lower BoundsTheory and Applications of Models of Computation10.1007/978-981-97-2340-9_11(124-136)Online publication date: 3-May-2024
- Althaus ESchnurbusch D(2024)Reducing Treewidth for SAT-Related Problems Using Simple LiftingsCombinatorial Optimization10.1007/978-3-031-60924-4_14(175-191)Online publication date: 22-May-2024
- Fichte JHecher MMahmood YMeier AElkind E(2023)Quantitative reasoning and structural complexity for claim-centric argumentationProceedings of the Thirty-Second International Joint Conference on Artificial Intelligence10.24963/ijcai.2023/358(3212-3220)Online publication date: 19-Aug-2023
- Show More Cited By