Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
SAT-based decision tree learning for large data sets
A Schidler, S Szeider - Journal of Artificial Intelligence Research, 2024 - jair.org
Decision trees of low depth are beneficial for understanding and interpreting the data they
represent. Unfortunately, finding a decision tree of lowest complexity (depth or size) that …
represent. Unfortunately, finding a decision tree of lowest complexity (depth or size) that …
A SAT approach to twin-width
The graph invariant twin-width was recently introduced by Bonnet, Kim, Thomassé, and
Watrigan. Problems expressible in first-order logic, which includes many prominent NP-hard …
Watrigan. Problems expressible in first-order logic, which includes many prominent NP-hard …
On structural parameterizations of the bounded-degree vertex deletion problem
We study the parameterized complexity of the Bounded-Degree Vertex Deletion problem
(BDD), where the aim is to find a maximum induced subgraph whose maximum degree is …
(BDD), where the aim is to find a maximum induced subgraph whose maximum degree is …
Turbocharging treewidth-bounded Bayesian network structure learning
VP Ramaswamy, S Szeider - Proceedings of the AAAI Conference on …, 2021 - ojs.aaai.org
We present a new approach for learning the structure of a treewidth-bounded Bayesian
Network (BN). The key to our approach is applying an exact method (based on MaxSAT) …
Network (BN). The key to our approach is applying an exact method (based on MaxSAT) …
[HTML][HTML] Computing optimal hypertree decompositions with SAT
Hypertree width is a prominent hypergraph invariant with many algorithmic applications in
constraint satisfaction and databases. We propose two novel characterisations for hypertree …
constraint satisfaction and databases. We propose two novel characterisations for hypertree …
SAT-boosted tabu search for coloring massive graphs
Graph coloring is the problem of coloring the vertices of a graph with as few colors as
possible, avoiding monochromatic edges. It is one of the most fundamental NP-hard …
possible, avoiding monochromatic edges. It is one of the most fundamental NP-hard …
Quantum graph-state synthesis with SAT
In quantum computing and quantum information processing, graph states are a specific type
of quantum states which are commonly used in quantum networking and quantum error …
of quantum states which are commonly used in quantum networking and quantum error …
Algorithmic applications of tree-cut width
The recently introduced graph parameter tree-cut width plays a similar role with respect to
immersions as the graph parameter treewidth plays with respect to minors. In this paper, we …
immersions as the graph parameter treewidth plays with respect to minors. In this paper, we …
Computing optimal hypertree decompositions
We propose a new algorithmic method for computing the hypertree width of hypergraphs,
and we evaluate its performance empirically. At the core of our approach lies a novel …
and we evaluate its performance empirically. At the core of our approach lies a novel …
The PACE 2020 parameterized algorithms and computational experiments challenge: Treedepth
Abstract This year's Parameterized Algorithms and Computational Experiments challenge
(PACE 2020) was devoted to the problem of computing the treedepth of a given graph …
(PACE 2020) was devoted to the problem of computing the treedepth of a given graph …