Buchumschlag

Certified MaxSAT Preprocessing

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ihalainen, Hannes, Oertel, Andy, Tan, Yong Kiam, Berg, Jeremias, Järvisalo, Matti, Nordström, Jakob
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
von: Jabs, Christoph, et al.
Veröffentlicht: (2025)

Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
von: Ihalainen, Hannes, et al.
Veröffentlicht: (2025)

LLM Routing as Reasoning: A MaxSAT View
von: Nguyen, Son, et al.
Veröffentlicht: (2026)

Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
von: Anders, Markus, et al.
Veröffentlicht: (2025)

IGMaxHS -- An Incremental MaxSAT Solver with Support for XOR Clauses
von: Lübke, Ole
Veröffentlicht: (2024)

Enhancing Local Search for MaxSAT with Deep Differentiation Clause Weighting
von: Jiang, Menghua, et al.
Veröffentlicht: (2025)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
von: Van Kieu, Tuyen, et al.
Veröffentlicht: (2026)

Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
von: Zheng, Jiongzhi, et al.
Veröffentlicht: (2024)

A general optimization solver based on OP-to-MaxSAT reduction
von: Zhao, Yuxin, et al.
Veröffentlicht: (2026)

Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis
von: Ye, Furong, et al.
Veröffentlicht: (2024)

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
von: Orvalho, Pedro, et al.
Veröffentlicht: (2024)

An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
von: Júnior, Antônio Carlos Souza Ferreira, et al.
Veröffentlicht: (2024)

Formally Certified Approximate Model Counting
von: Tan, Yong Kiam, et al.
Veröffentlicht: (2024)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
von: Vandesande, Dieter, et al.
Veröffentlicht: (2025)

Efficient Certified Reasoning for Binarized Neural Networks
von: Yang, Jiong, et al.
Veröffentlicht: (2025)

Symmetry breaking for inductive logic programming
von: Cropper, Andrew, et al.
Veröffentlicht: (2025)

Redundancy rules for MaxSAT
von: Bonacina, Ilario, et al.
Veröffentlicht: (2025)

Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs
von: Hoen, Alexander, et al.
Veröffentlicht: (2024)

HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems
von: Chen, Qiyue, et al.
Veröffentlicht: (2025)

Resource-Constrained Heuristic for Max-SAT
von: Matejek, Brian, et al.
Veröffentlicht: (2024)

MaxSAT decoders for arbitrary CSS codes
von: Noormandipour, Mohammadreza, et al.
Veröffentlicht: (2024)

Decoding quantum color codes with MaxSAT
von: Berent, Lucas, et al.
Veröffentlicht: (2023)

Learning big logical rules by joining small rules
von: Hocquette, Céline, et al.
Veröffentlicht: (2024)

Certified Robustness against Sparse Adversarial Perturbations via Data Localization
von: Pal, Ambar, et al.
Veröffentlicht: (2024)

Efficient SAT and MaxSAT techniques for solving the Two-Dimensional Strip Packing Problem
von: Kieu, Tuyen Van, et al.
Veröffentlicht: (2025)

Pseudo-Boolean Proof Logging for Optimal Classical Planning
von: Dold, Simon, et al.
Veröffentlicht: (2025)

I Can Find You in Seconds! Leveraging Large Language Models for Code Authorship Attribution
von: Choi, Soohyeon, et al.
Veröffentlicht: (2025)

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
von: Sun, Yiwen, et al.
Veröffentlicht: (2024)

Integer Linear Programming Preprocessing for Maximum Satisfiability
von: Zhang, Jialu, et al.
Veröffentlicht: (2025)

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators
von: Bannach, Max, et al.
Veröffentlicht: (2024)

MILP-SAT-GNN: Yet Another Neural SAT Solver
von: Cardillo, Franco Alberto, et al.
Veröffentlicht: (2025)

Be Wary of Your Time Series Preprocessing
von: Ennadir, Sofiane, et al.
Veröffentlicht: (2026)

Scores Know Bobs Voice: Speaker Impersonation Attack
von: Hwang, Chanwoo, et al.
Veröffentlicht: (2026)

Solving Cyclic Antibandwidth Problem by SAT
von: Xuan, Hieu Truong, et al.
Veröffentlicht: (2026)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
von: Jha, Piyush, et al.
Veröffentlicht: (2024)

Introducing Clause Cuts: Strong No-Good Cuts for MaxSAT Problems in Mixed Integer Linear Programming
von: Engelhardt, Max, et al.
Veröffentlicht: (2025)

Semantic Preprocessing for LLM-based Malware Analysis
von: Marais, Benjamin, et al.
Veröffentlicht: (2025)

Orbitopal Fixing in SAT
von: Anders, Markus, et al.
Veröffentlicht: (2026)

Orthologic for SAT Solving
von: de Haldat, Vladislas, et al.
Veröffentlicht: (2026)

High-Throughput SAT Sampling
von: Ardakani, Arash, et al.
Veröffentlicht: (2025)