conftrace_

maxsat solver

11 papers

Explore in graph

Also known as

MAXSAT

Co-occurring keywords · papers mentioning both

combinatorial optimization (3) weighted partial maxsat (2) maxsat solving (2) propositional logic (2) optimal tree learning (1) core-guided solver (1) unsatisfiable core (1) soft clause (1) conflict analysis (1) knowledge consistency (1)

Papers

A Logic-based Framework for Decoding Enthymemes in Argument Maps Involving Implicitness in Premises and Claims IJCAI 2025 An Efficient Core-Guided Solver for Weighted Partial MaxSAT IJCAI 2025 Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis AAAI 2025 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 Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning AAAI 2024 Learning Reliable Logical Rules with SATNet NeurIPS 2023 BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit IJCAI 2022 Using MaxSAT for Efficient Explanations of Tree Ensembles AAAI 2022 BeliefBank: Adding Memory to a Pre-Trained Language Model for a Systematic Notion of Belief EMNLP 2021 Reducing SAT to Max2SAT IJCAI 2021