Copertina

SAT Solving Using XOR-OR-AND Normal Forms

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Andraschko, Bernhard, Danner, Julian, Kreuzer, Martin
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science Commutative Algebra Logic 03B70 (Primary) 13P15, 05C90, 94A60 (Secondary)
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Taylor Morphisms
di: Ng, Gabriel
Pubblicazione: (2023)

Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group
di: Bhardwaj, Neer, et al.
Pubblicazione: (2024)

Endogenies and Linearisation
di: Deloro, Adrien, et al.
Pubblicazione: (2024)

Hulls of projective Reed-Muller codes over the projective plane
di: Ruano, Diego, et al.
Pubblicazione: (2023)

Azumaya algebras and Barr Theorem
di: Coquand, Thierry, et al.
Pubblicazione: (2023)

Bridging Meadows and Sheaves
di: Dias, João, et al.
Pubblicazione: (2024)

Efficiently Checking Separating Indeterminates
di: Andraschko, Bernhard, et al.
Pubblicazione: (2024)

Decidability for the theory of modules over a Prüfer domain
di: Gregory, Lorna
Pubblicazione: (2021)

The Amalgamation Property for automorphisms of ordered abelian groups
di: Dobrowolski, Jan, et al.
Pubblicazione: (2022)

On limit models and parametrized noetherian rings
di: Mazari-Armida, Marcos
Pubblicazione: (2024)

Projectable reduced $f$-rings admitting elimination of quantifiers
di: Guier, Jorge I.
Pubblicazione: (2026)

Homomorphism Preservation Theorems for Many-Valued Structures
di: Carr, James
Pubblicazione: (2024)

Note on radical and prime E-ideals
di: Fornasiero, Antongiulio, et al.
Pubblicazione: (2023)

A Structural Analysis of Infinity in Set Theory and Modern Algebra
di: Betz, Noah
Pubblicazione: (2025)

Deconstructible classes of modules and stability
di: Mazari-Armida, Marcos, et al.
Pubblicazione: (2025)

A Formalization of Divided Powers in Lean
di: Chambert-Loir, Antoine, et al.
Pubblicazione: (2025)

Projective length, phantom extensions, and the structure of flat modules
di: Casarosa, Matteo, et al.
Pubblicazione: (2025)

On GL-domains and the ascent of the IDF property
di: Gonzalez, Victor, et al.
Pubblicazione: (2025)

Differentially Henselian Fields
di: Ng, Gabriel
Pubblicazione: (2023)

Model Theory of Local Real Closed SV-Rings of Finite Rank
di: Piepenborn, Ricardo Palomino
Pubblicazione: (2024)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
di: Harrington, Leo A., et al.
Pubblicazione: (2025)

Definable henselian valuations on dp-minimal real fields
di: Krapp, Lothar Sebastian, et al.
Pubblicazione: (2024)

On class groups of upper cluster algebras
di: Pompili, Mara
Pubblicazione: (2023)

Code Equivalence, Point Set Equivalence, and Polynomial Isomorphism
di: Kreuzer, Martin
Pubblicazione: (2025)

Dp-finite and Noetherian NIP integral domains
di: Johnson, Will
Pubblicazione: (2023)

Definable henselian valuations in positive residue characteristic
di: Ketelsen, Margarete, et al.
Pubblicazione: (2024)

Model theory of valued fields with an endomorphism
di: Ramello, Simone
Pubblicazione: (2024)

Efficient Algorithms for Finite $\mathbb{Z}$-Algebras
di: Kreuzer, Martin, et al.
Pubblicazione: (2023)

Initially Cohen-Macaulay Modules
di: Namiq, Mohammed Rafiq
Pubblicazione: (2025)

Gröbner bases and the second generalized Hamming weight of a linear code
di: de Alba, Hernán, et al.
Pubblicazione: (2025)

Bochvar algebras: A categorical equivalence and the generated variety
di: Bonzio, Stefano, et al.
Pubblicazione: (2024)

Length-Factoriality and Pure Irreducibility
di: Bu, Alan, et al.
Pubblicazione: (2022)

Constant power maps on Hardy fields and transseries
di: Kaplan, Elliot
Pubblicazione: (2024)

Factoriality and class groups of cluster algebras
di: Elsener, Ana Garcia, et al.
Pubblicazione: (2017)

A Prime-Generated Formalization of Nagata's Factoriality Theorem in Lean 4
di: Ramos, Arthur F., et al.
Pubblicazione: (2026)

Generic derivations on algebraically bounded structures
di: Antongiulio, Fornasiero, et al.
Pubblicazione: (2023)

Quantum-Resistant Cryptography via Universal Gröbner Bases
di: Da Silva, Sergio, et al.
Pubblicazione: (2025)

Relative injective modules, superstability and noetherian categories
di: Mazari-Armida, Marcos, et al.
Pubblicazione: (2023)

Multidimensional asymptotic classes
di: Anscombe, Sylvy, et al.
Pubblicazione: (2024)

Some model-theoretic consequences of high-arity uniform convergence, part I
di: Coregliano, Leonardo N., et al.
Pubblicazione: (2026)