Learning Optimal Decision Sets and Lists with SAT (Q5026234): Difference between revisions

@@ Property / cites work @@
+Learning Certifiably Optimal Rule Lists for Categorical Data
+Normal rank
@@ Property / cites work @@
+Cardinality Networks and Their Applications
@@ Property / cites work: Cardinality Networks and Their Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction
+Normal rank
@@ Property / cites work @@
+Q2896115
@@ Property / cites work: Q2896115 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Branch-and-Price: Column Generation for Solving Huge Integer Programs
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4999271
@@ Property / cites work: Q4999271 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Explanatory Rules from Noisy Data
@@ Property / cites work: Learning Explanatory Rules from Noisy Data / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Rule Learning
@@ Property / cites work: Foundations of Rule Learning / rank @@
+Normal rank
@@ Property / cites work @@
+Data mining. Concepts and techniques
@@ Property / cites work: Data mining. Concepts and techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds on learning decision lists and trees
@@ Property / cites work: Lower bounds on learning decision lists and trees / rank @@
+Normal rank
@@ Property / cites work @@
+PySAT: a Python toolkit for prototyping with SAT oracles
+Normal rank
@@ Property / cites work @@
+RC2: an Efficient MaxSAT Solver
@@ Property / cites work: RC2: an Efficient MaxSAT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+A SAT-based approach to learn explainable decision sets
+Normal rank
@@ Property / cites work @@
+SAT-based encodings for optimal decision trees with explicit paths
+Normal rank
@@ Property / cites work @@
+Machine learning: Trends, perspectives, and prospects
+Normal rank
@@ Property / cites work @@
+A continuous approach to inductive inference
@@ Property / cites work: A continuous approach to inductive inference / rank @@
+Normal rank
@@ Property / cites work @@
+Explanation in artificial intelligence: insights from the social sciences
+Normal rank
@@ Property / cites work @@
+Q4398828
@@ Property / cites work: Q4398828 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5396710
@@ Property / cites work: Q5396710 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning customized and optimized lists of rules with mathematical programming
+Normal rank
@@ Property / cites work @@
+Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Q5593816
@@ Property / cites work: Q5593816 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning optimal decision trees using constraint programming
+Normal rank
@@ Property / cites work @@
+Q4636977
@@ Property / cites work: Q4636977 / rank @@
+Normal rank