Jul 8, 2023 · We present a SAT-based encoding for decision trees that directly supports non-binary data and use it to solve two well-studied variants of the optimal decision ...
We present a SAT-based encoding for decision trees that directly supports non-binary data and use it to solve two well-studied variants of the optimal decision ...
In this work, we present a novel SAT-based encoding for decision trees that supports non-binary features and demonstrate how it can be used to solve two well- ...
Oct 22, 2024 · In this work, we present a SAT-based encoding for decision trees that directly supports non-binary data and use it to solve two well-studied ...
Oct 25, 2021 · CP2021 presentation of the paper "SAT-based Approach for Learning Optimal Decision Trees with Non-Binary Features" by Pouya Shati, ...
Missing: data. | Show results with:data.
Oct 15, 2021 · We present a novel SAT-based encoding for decision trees that supports non-binary features and demonstrate how it can be used to solve two well-studied ...
This encoding enables finding a decision tree conforming to the given set of examples with a given depth and number of nodes. A minimal tree is found by ...
SAT-based optimal classification trees for non-binary data. Pouya Shati, Eldan Cohen, Sheila A. McIlraith. DOI: 10.1007/s10601-023-09348-1.
SAT-based optimal classification trees for non-binary data. Shati, P., Cohen, E., & McIlraith, S. A. Constraints, 28(2):166-202, 2023.
People also ask
Do decision trees have to be binary?
Is decision tree good for binary classification?
This paper develops a SAT-based model for computing smallest-size decision trees given training data and the proposed SAT model is shown to scale for ...