conftrace_

maxsat solving

11 papers

Explore in graph

Also known as

MAXSAT

Co-occurring keywords · papers mentioning both

combinatorial optimization (7) maxsat solver (2) local search (2) optimal tree (1) clause learning (1) weighted maxsat (1) oblique decision tree (1) optimal tree learning (1) group testing (1) automated feedback (1)

Papers

Certified Branch-and-Bound MaxSAT Solving AAAI 2026 Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization AAAI 2025 Learning Optimal Oblique Decision Trees with (Max)SAT IJCAI 2025 Enhance Diversified Top-k MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract) AAAI 2024 Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving AAAI 2024 Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract) IJCAI 2022 A MaxSAT-Based Framework for Group Testing AAAI 2020 Learning Optimal Decision Trees with MaxSAT and its Integration in AdaBoost IJCAI 2020 Concurrency Debugging with MaxSMT AAAI 2019 Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT IJCAI 2018 Action-Model Based Multi-agent Plan Recognition NeurIPS 2012