Cover Image

Verifying OR-of-ANDs is equivalent to NAND-of-NANDs using SMT solvers

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	Fitzsimmons, Zack, Hassan, Zohair Raza, Hemaspaandra, Edith, Rivero, Carlos R.
Format:	Recurso digital
Published:	Zenodo 2025
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the Parallelizability of Approval-Based Committee Rules
by: Fitzsimmons, Zack, et al.
Published: (2025)

The Complexity of (P3, H)-Arrowing and Beyond
by: Hassan, Zohair Raza
Published: (2024)

Anyone but Him: The Complexity of Precluding an Alternative
by: Hemaspaandra, Edith, et al.
Published: (2005)

On Small Folkman Graphs Arrowing $K_2$ or $K_3$
by: Hassan, Zohair Raza, et al.
Published: (2026)

On the Hardness of Fair Allocation under Ternary Valuations
by: Fitzsimmons, Zack, et al.
Published: (2024)

Towards Learning and Verifying Maximal Neural Lyapunov Functions
by: Liu, Jun, et al.
Published: (2023)

FORGE: Foundational Optimization Representations from Graph Embeddings
by: Shafi, Zohair, et al.
Published: (2025)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
by: Liu, Jun, et al.
Published: (2024)

ReSMT: An SMT-Based Tool for Reverse Engineering
by: Somech, Nir, et al.
Published: (2025)

FeNOMS: Enhancing Open Modification Spectral Library Search with In-Storage Processing on Ferroelectric NAND (FeNAND) Flash
by: Pinge, Sumukh, et al.
Published: (2025)

HintSMT
by: Anonymous Authors
Published: (2026)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
by: Liu, Jun, et al.
Published: (2024)

Lean-SMT: An SMT tactic for discharging proof goals in Lean
by: Mohamed, Abdalrhman, et al.
Published: (2025)

Optimal Software Pipelining using an SMT-Solver
by: Roorda, Jan-Willem
Published: (2026)

Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators
by: Baheri, Ali, et al.
Published: (2026)

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
by: Liu, Jun, et al.
Published: (2024)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
by: Bartholomew, Michael, et al.
Published: (2025)

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
by: Janota, Mikoláš, et al.
Published: (2026)

Flexible In-NAND Cryptographic Processing for Secure Flash Storage
by: Noh, Seock-Hwan, et al.
Published: (2025)

Vertical NAND in a Ferroelectric-driven Paradigm Shift
by: Kim, Giuk, et al.
Published: (2025)

Ising Solver Using Vertical NAND Flash Memory
by: Sung‐Ho Park, et al.
Published: (2026)

ACRSP Helps to Rebuild Aquaculture in Wake of Tsunami
by: Fitzsimmons Kevin
Published: (2004)

Information Technology and the Third Industrial Revolution.
by: Fitzsimmons, Joe
Published: (1994)

Educating Homeless Children: What Can Teachers Do?
by: Fitzsimmons, Suzanne
Published: (1998)

Many-Body Effects in a Molecular Quantum NAND Tree
by: Bergfield, Justin P.
Published: (2025)

Automated Verification of Silq Quantum Programs using SMT Solvers
by: Lewis, Marco, et al.
Published: (2024)

Self-Matryoshka Theory (SMT)
by: Eines, Ekaterina
Published: (2025)

Thinking flexibly about who digital mental health interventions are for and how they should be evaluated and used: Commentary on McClure et al. (2023)
by: Ellen E. Fitzsimmons‐Craft
Published: (2024)

Generating Human Understandable Explanations for Node Embeddings
by: Shafi, Zohair, et al.
Published: (2024)

REGE: A Method for Incorporating Uncertainty in Graph Embeddings
by: Shafi, Zohair, et al.
Published: (2024)

Gaps, Ambiguity, and Establishing Complexity-Class Containments via Iterative Constant-Setting
by: Hemaspaandra, Lane A., et al.
Published: (2021)

Check, Please: Verifiably Fair Clustering
by: He, Yu, et al.
Published: (2026)

SMT(LIA) Sampling with High Diversity
by: Lai, Yong, et al.
Published: (2025)

Efficient Volume Computation for SMT Formulas
by: Shaw, Arijit, et al.
Published: (2025)

Towards Comprehensive Sampling of SMT Solutions
by: Lyu, Shuangyu, et al.
Published: (2025)

An SMT Theory for n-Indexed Sequences
by: Hara, Hichem Rami Ait El, et al.
Published: (2024)

An SMT-LIB Theory of Finite Fields
by: Hader, Thomas, et al.
Published: (2024)

Hint-Based SMT Proof Reconstruction
by: Clune, Joshua, et al.
Published: (2026)

On CNF Conversion for SAT and SMT Enumeration
by: Masina, Gabriele, et al.
Published: (2023)

An Encoding for CLP Problems in SMT-LIB
by: Amrollahi, Daneshvar, et al.
Published: (2024)