Copertina

Compression with wildcards: All models of a Boolean 2-CNF

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Wild, Marcel
Natura:	Preprint
Pubblicazione:	2012
Soggetti:	Computational Complexity 68Q25
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The framework to unify all complexity dichotomy theorems for Boolean tensor networks
di: Xia, Mingji
Pubblicazione: (2026)

ASP-Completeness of Hamiltonicity in Grid Graphs, with Applications to Loop Puzzles
di: MIT Hardness Group, et al.
Pubblicazione: (2024)

Undefinability of Approximation of 2-to-2 Games
di: Dawar, Anuj, et al.
Pubblicazione: (2025)

Cluster Vertex Deletion Problems on Cubic Graphs
di: Rusu, Irena
Pubblicazione: (2025)

On the Complexity of the Minimum-($k,ρ$)-Shortcut Problem
di: Avila, Tatiana Rocha, et al.
Pubblicazione: (2026)

No Constant-Cost Protocol for Point--Line Incidence
di: Göös, Mika, et al.
Pubblicazione: (2026)

Hamiltonicity Parameterized by Mim-Width is (Indeed) Para-NP-Hard
di: Bergougnoux, Benjamin, et al.
Pubblicazione: (2025)

A Study of NP-Completeness and Undecidable Word Problems in Semigroups
di: Abdullah, Duaa, et al.
Pubblicazione: (2025)

The Word Problem for Products of Symmetric Groups
di: Simon, Hans U.
Pubblicazione: (2025)

Smaller Depth-2 Linear Circuits for Disjointness Matrices
di: Ye, Lixi
Pubblicazione: (2026)

On weighted graph separation problems and flow-augmentation
di: Kim, Eun Jung, et al.
Pubblicazione: (2022)

Coordinatewise Balanced Covering for Linear Gain Graphs, with an Application to Coset-List Min-2-Lin over Powers of Two
di: Alpay, Faruk, et al.
Pubblicazione: (2026)

On the Low Weight Polynomial Multiple Problem
di: Ţiplea, Ferucio Laurenţiu, et al.
Pubblicazione: (2024)

The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms
di: Kátay, Tamás, et al.
Pubblicazione: (2023)

Leakage-Resilient Hardness Equivalence to Logspace Derandomization
di: Shalunov, Yakov
Pubblicazione: (2023)

Ineffectiveness for Search and Undecidability of PCSP Meta-Problems
di: Larrauri, Alberto
Pubblicazione: (2025)

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
di: Marković, Petar, et al.
Pubblicazione: (2026)

On the complexity of solving equations over the symmetric group $S_4$
di: Aichinger, Erhard, et al.
Pubblicazione: (2025)

Linear average-case complexity of algorithmic problems in groups
di: Olshanskii, Alexander, et al.
Pubblicazione: (2022)

Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences
di: von Liechtenstein, Maximilian R. P.
Pubblicazione: (2025)

Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard
di: Dorochko, Leonid, et al.
Pubblicazione: (2026)

Quantum computing algorithms for inverse problems on graphs and an NP-complete inverse problem
di: Ilmavirta, Joonas, et al.
Pubblicazione: (2023)

Computational Complexity of Model-Checking Quantum Pushdown Systems
di: Lin, Deren, et al.
Pubblicazione: (2025)

On Solving Reachability in Grid Digraphs using a Psuedoseparator
di: Jain, Rahul, et al.
Pubblicazione: (2019)

Polynomial Identity Testing via Evaluation of Rational Functions
di: Hu, Ivan, et al.
Pubblicazione: (2022)

The Separation of $NP$ and $PSPACE$
di: Lin, Tianrong
Pubblicazione: (2021)

Shifted Partial Derivative Polynomial Rank and Codimension
di: Edwards, Darren J.
Pubblicazione: (2025)

Induced Disjoint Paths Without an Induced Minor
di: Aboulker, Pierre, et al.
Pubblicazione: (2025)

Computational Complexity of Minimal Trap Spaces in Boolean Networks
di: Moon, Kyungduk, et al.
Pubblicazione: (2022)

Some derivations among Logarithmic Space Bounded Counting Classes
di: Janaki, V., et al.
Pubblicazione: (2023)

Probabilistic Computers (So Quantum Computers) Are More Rigorously Powerful Than Traditional Computers, and Derandomization
di: Lin, Tianrong
Pubblicazione: (2023)

The Complexity of Resilience for Digraph Queries
di: Bodirsky, Manuel, et al.
Pubblicazione: (2026)

Parallel Algorithms for Group Isomorphism via Code Equivalence
di: Levet, Michael
Pubblicazione: (2026)

Unifying lower bounds for algebraic machines, semantically
di: Seiller, Thomas, et al.
Pubblicazione: (2018)

P not equal to NP
di: Delgado, Daniel Cardona
Pubblicazione: (2023)

Toward P vs NP: An Observer-Theoretic Separation via SPDP Rank and a ZFC-Equivalent Foundation within the N-Frame Model
di: Edwards, Darren J.
Pubblicazione: (2025)

Evolomino is NP-complete
di: Nikolaev, Andrei V.
Pubblicazione: (2025)

On the Complexity of Bipartite Degree Realizability
di: Miklós, István
Pubblicazione: (2025)

Reduction of the group isomorphism problem to the group automorphism problem
di: Skresanov, Saveliy V.
Pubblicazione: (2025)

Concurrency Constrained Scheduling with Tree-Like Constraints
di: Bodlaender, Hans L., et al.
Pubblicazione: (2025)