Buchumschlag

Redundancy rules for MaxSAT

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bonacina, Ilario, Bonet, Maria Luisa, Buss, Sam, Lauria, Massimo
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science 03F20, 68R07
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On CNF Conversion for SAT and SMT Enumeration
von: Masina, Gabriele, et al.
Veröffentlicht: (2023)

Semi-Algebraic Proof Systems for QBF
von: Beyersdorff, Olaf, et al.
Veröffentlicht: (2025)

A Logspace Constructive Proof of L=SL
von: Buss, Sam, et al.
Veröffentlicht: (2025)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
von: Rahnama, Moses
Veröffentlicht: (2025)

Tableau Proof Systems for Justification Logics
von: Ghari, Meghdad
Veröffentlicht: (2014)

A proof complexity conjecture and the Incompleteness theorem
von: Krajicek, Jan
Veröffentlicht: (2023)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
von: Santo, José Espírito, et al.
Veröffentlicht: (2020)

On the Various Translations between Classical, Intuitionistic and Linear Logic
von: Ferreira, Gilda, et al.
Veröffentlicht: (2024)

Mechanised uniform interpolation for modal logics K, GL, and iSL
von: Férée, Hugo, et al.
Veröffentlicht: (2024)

Intersection Types via Finite-Set Declarations
von: Kamareddine, Fairouz, et al.
Veröffentlicht: (2024)

Algorithmic correspondence and analytic rules
von: De Domenico, Andrea, et al.
Veröffentlicht: (2022)

Continuations and Completeness in Proof-theoretic Semantics
von: Gu, Tao, et al.
Veröffentlicht: (2026)

From Gödel incompleteness to the consistency of circuit lower bounds
von: Atserias, Albert, et al.
Veröffentlicht: (2026)

Adversarial Barrier in Uniform Class Separation
von: Rosko, Milan
Veröffentlicht: (2025)

A propositional cirquent calculus for computability logic
von: Japaridze, Giorgi
Veröffentlicht: (2024)

On the existence of strong proof complexity generators
von: Krajicek, Jan
Veröffentlicht: (2022)

Structural focalization
von: Simmons, Robert J.
Veröffentlicht: (2011)

A simplified lower bound for implicational logic
von: Jeřábek, Emil
Veröffentlicht: (2023)

Constructive validity of a generalized Kreisel-Putnam rule
von: Pezlar, Ivo
Veröffentlicht: (2023)

Intuitionistic Common Knowledge
von: Zenger, Lukas
Veröffentlicht: (2026)

Fragments of arithmetic and cyclic proofs
von: Beklemishev, Lev D., et al.
Veröffentlicht: (2025)

Formalizing Pick's Theorem in Isabelle/HOL
von: Binder, Sage, et al.
Veröffentlicht: (2024)

Quantitative Linear Logic
von: Capucci, Matteo, et al.
Veröffentlicht: (2026)

TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions
von: Inoué, Takao
Veröffentlicht: (2026)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
von: Fusco, Ludovico, et al.
Veröffentlicht: (2025)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
von: Jaakkola, Reijo, et al.
Veröffentlicht: (2024)

Arithmetics within the Linear Time Hierarchy
von: Pollett, Chris
Veröffentlicht: (2025)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
von: Wang, Zili, et al.
Veröffentlicht: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
von: Kosaian, Katherine, et al.
Veröffentlicht: (2024)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
von: Grotenhuis, Lide, et al.
Veröffentlicht: (2026)

Algebraic Proof Theory for Infinitary Action Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

Proof-theoretic methods in quantifier-free definability
von: Kocsis, Zoltan A.
Veröffentlicht: (2023)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
von: Farmer, William M., et al.
Veröffentlicht: (2023)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
von: Japaridze, Giorgi
Veröffentlicht: (2026)

Derandomization with Pseudorandomness
von: Karayel, Emin
Veröffentlicht: (2024)

Complexities of Well-Quasi-Ordered Substructural Logics
von: Galatos, Nikolaos, et al.
Veröffentlicht: (2025)

The Fractal Logic of Phi-adic Recursion
von: Rosko, Milan
Veröffentlicht: (2025)

Provability in BI's Sequent Calculus is Decidable
von: Gheorghiu, Alexander, et al.
Veröffentlicht: (2021)

Hard QBFs for Merge Resolution
von: Beyersdorff, Olaf, et al.
Veröffentlicht: (2020)

First-Order Fischer Servi Logic
von: Christensen, Ahmee
Veröffentlicht: (2024)