Copertina

Inverse Intersections for Boolean Satisfiability Problems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Homer, Paul W.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Computational Complexity
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The 2CNF Boolean Formula Satisfiability Problem and the Linear Space Hypothesis
di: Yamakami, Tomoyuki
Pubblicazione: (2017)

Learning-Augmented Algorithms for Boolean Satisfiability
di: Attias, Idan, et al.
Pubblicazione: (2025)

Boolean Circuit Complexity and Two-Dimensional Cover Problems
di: Cavalar, Bruno P., et al.
Pubblicazione: (2025)

On Approximability of Satisfiable k-CSPs: V
di: Bhangale, Amey, et al.
Pubblicazione: (2024)

On Approximability of Satisfiable $k$-CSPs: VI
di: Bhangale, Amey, et al.
Pubblicazione: (2024)

On Approximability of Satisfiable $k$-CSPs: VII
di: Bhangale, Amey, et al.
Pubblicazione: (2024)

On Approximability of Satisfiable k-CSPs: IV
di: Bhangale, Amey, et al.
Pubblicazione: (2023)

Instance complexity of Boolean functions
di: Liu, Alison Hsiang-Hsuan, et al.
Pubblicazione: (2023)

The Algebraic Cost of a Boolean Sum
di: Orzel, Ian, et al.
Pubblicazione: (2025)

On Boolean PCSPs with Polynomial Threshold Polymorphisms
di: Michno, Katzper
Pubblicazione: (2025)

Boolean Functions with Minimal Spectral Sensitivity
di: Prūsis, Krišjānis, et al.
Pubblicazione: (2024)

Special Coverings of Sets and Boolean Functions
di: Margaryan, Stepan
Pubblicazione: (2024)

Nearest Neighbor Complexity and Boolean Circuits
di: DiCicco, Mason, et al.
Pubblicazione: (2024)

Ideal Membership Problem for Boolean Minority and Dual Discriminator
di: Bharathi, Arpitha P., et al.
Pubblicazione: (2024)

Gateways to Tractability for Satisfiability in Pearl's Causal Hierarchy
di: Ganian, Robert, et al.
Pubblicazione: (2025)

Boolean PCSPs through the lens of Fourier Analysis
di: Banakh, Demian, et al.
Pubblicazione: (2026)

Local Correction of Linear Functions over the Boolean Cube
di: Amireddy, Prashanth, et al.
Pubblicazione: (2024)

Low Degree Local Correction Over the Boolean Cube
di: Amireddy, Prashanth, et al.
Pubblicazione: (2024)

Boolean functions on high-dimensional expanders
di: Dikstein, Yotam, et al.
Pubblicazione: (2018)

Range Avoidance in Boolean Circuits via Turan-type Bounds
di: Kuntewar, Neha, et al.
Pubblicazione: (2025)

Heuristics Optimization of Boolean Circuits with application in Attribute Based Encryption
di: Ionita, Alexandru, et al.
Pubblicazione: (2023)

On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
di: Devillers, Raymond, et al.
Pubblicazione: (2022)

Probabilistic and Causal Satisfiability: Constraining the Model
di: Bläser, Markus, et al.
Pubblicazione: (2025)

Maximizing Minimum Cycle Bases Intersection
di: Watel, Dimitri, et al.
Pubblicazione: (2024)

Non-Boolean OMv: One More Reason to Believe Lower Bounds for Dynamic Problems
di: Hu, Bingbing, et al.
Pubblicazione: (2024)

Exact versus Approximate Representations of Boolean Functions in the De Morgan Basis
di: Chattopadhyay, Arkadev, et al.
Pubblicazione: (2025)

A Near-Optimal Polynomial Distance Lemma Over Boolean Slices
di: Amireddy, Prashanth, et al.
Pubblicazione: (2025)

The Role of Regularity in (Hyper-)Clique Detection and Implications for Optimizing Boolean CSPs
di: Fischer, Nick, et al.
Pubblicazione: (2025)

Complex Boolean Turing Machines: An Algebraic Semantic Framework for Computational Complexity
di: Zheng, Bojin, et al.
Pubblicazione: (2026)

Spectral Norm, Economical Sieve, and Linear Invariance Testing of Boolean Functions
di: Datta, Swarnalipa, et al.
Pubblicazione: (2023)

Certifiable Boolean Reasoning Is Universal
di: Li, Wenhao, et al.
Pubblicazione: (2026)

From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy
di: Dörfler, Julian, et al.
Pubblicazione: (2024)

Are Depth-2 Regular Expressions Hard to Intersect?
di: Ascone, Rocco, et al.
Pubblicazione: (2025)

Satisfiability of commutative vs. non-commutative CSPs
di: Bulatov, Andrei A., et al.
Pubblicazione: (2024)

Query complexity of Boolean functions on the middle slice of the cube
di: Gerbner, Dániel, et al.
Pubblicazione: (2023)

Classification of Non-redundancy of Boolean Predicates of Arity 4
di: Brakensiek, Joshua, et al.
Pubblicazione: (2026)

On the Rational Degree of Boolean Functions and Applications
di: Iyer, Vishnu, et al.
Pubblicazione: (2023)

Dual-Tape Perspective and Generator Independence: The Algebraic Foundation of Real Boolean Turing Machines
di: Zheng, Jingwen, et al.
Pubblicazione: (2026)

Polynomial Calculus sizes over the Boolean and Fourier bases are incomparable
di: Mouli, Sasank
Pubblicazione: (2024)

Model Counting for Dependency Quantified Boolean Formulas
di: Fung, Long-Hin, et al.
Pubblicazione: (2025)