conftrace_

running time bound

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

bounded occurrence (1) cnf satisfiability (1) maximum edge-weighted clique (1) maximum clique (1) tree size (1) minimum-size tree (1) exact solver (1) np-hard problem (1) graph algorithm (1) decision tree (1)

Papers

A Fast Exact Solver with Theoretical Analysis for the Maximum Edge-Weighted Clique Problem AAAI 2024 Fast Algorithms for SAT with Bounded Occurrences of Variables IJCAI 2023 The Influence of Dimensions on the Complexity of Computing Decision Trees AAAI 2023