Skip to content
conftrace_

clause learning

10 papers

Explore in graph

Co-occurring keywords · papers mentioning both

conflict-driven clause learning (3) sat solver (3) component caching (2) inductive logic programming (2) combinatorial optimization (2) predicate invention (1) meta-interpretive learning (1) bottom-up learning (1) second-order logic (1) symmetry exploitation (1)

Papers

Disjoint Partial Enumeration without Blocking Clauses AAAI 2024 SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver AAAI 2023 Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract) IJCAI 2022 Differentiable Inductive Logic Programming for Structured Examples AAAI 2021 Symmetric Component Caching for Model Counting on Combinatorial Instances AAAI 2021 Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning IJCAI 2020 On Irrelevant Literals in Pseudo-Boolean Constraint Learning IJCAI 2020 Clause Learning and New Bounds for Graph Coloring IJCAI 2019 An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate IJCAI 2018 A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality IJCAI 2017