Toward Entailment Checking: Explore Eigenmarking Search

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Katanyukul, Tatpong
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics Emerging Technologies Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Explore Simpler Eigenmarking: Quantum Entailment Model Checking
by: Katanyukul, Tatpong
Published: (2026)

No Scratch Quantum Computing by Reducing Qubit Overhead for Efficient Arithmetics
by: Faizy, Omid, et al.
Published: (2025)

Bit-Vector Abstractions to Formally Verify Quantum Error Detection & Entanglement
by: Govindankutty, Arun
Published: (2026)

MerLean: An Agentic Framework for Autoformalization in Quantum Computation
by: Ren, Yuanjie, et al.
Published: (2026)

A Coalgebraic Model of Quantum Bisimulation
by: Ceragioli, Lorenzo, et al.
Published: (2025)

Towards Multiphase Clocking in Single-Flux Quantum Systems
by: Bairamkulov, Rassul, et al.
Published: (2024)

All-optical 3-input OR and 2-input AND/NIMPLY logic gates in a linear planar three-core optical fiber coupler
by: Rodrigues, J. P. T., et al.
Published: (2025)

AxOSyn: An Open-source Framework for Synthesizing Novel Approximate Arithmetic Operators
by: Sahoo, Siva Satyendra, et al.
Published: (2025)

Linear Decomposition of the Majority Boolean Function using the Ones on Smaller Variables
by: Chattopadhyay, Anupam, et al.
Published: (2025)

Loop unrolling: formal definition and application to testing
by: Huang, Li, et al.
Published: (2025)

Fuzzychain: An Equitable Consensus Mechanism for Blockchain Networks
by: Ramos-Cruz, Bruno, et al.
Published: (2024)

Towards Equivalence Checking of Classical Circuits Using Quantum Computing
by: Quetschlich, Nils, et al.
Published: (2024)

Federated Formal Verification: Cross-Backend Citation, Cross-Axis Convergence, and AI-Orchestrated Proof Dispatch for Production Systems
by: Falda, Pierre
Published: (2026)

Quantum Error Mitigation by Pauli Check Sandwiching
by: Gonzales, Alvin, et al.
Published: (2022)

Tailored Quantum Device Calibration with Statistical Model Checking
by: Mazurek, Filip, et al.
Published: (2025)

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
by: Kole, Abhoy, et al.
Published: (2024)

Measuring Robustness in Cyber-Physical Systems under Sensor Attacks
by: Xiang, Jian, et al.
Published: (2024)

Ternary Memristive Logic: Hardware for Reasoning Realized via Domain Algebra
by: Li, Chao
Published: (2026)

Algorithmic Advances Towards a Realizable Quantum Lattice Boltzmann Method
by: Tiwari, Apurva, et al.
Published: (2025)

Biochemical Computing Mode for Sequential Logic
by: Huang, Han, et al.
Published: (2025)

Exhaustive Search for Quantum Circuit Optimization using ZX Calculus
by: Fischbach, Tobias, et al.
Published: (2025)

Performance Evaluation of Variational Quantum Eigensolver and Quantum Dynamics Algorithms on the Advection-Diffusion Equation
by: Özgüler, A. Barış
Published: (2025)

Imperfect-Information Games on Quantum Computers: A Case Study in Skat
by: Armbrüster, Ulrich, et al.
Published: (2024)

Quantum Annealing based Hybrid Strategies for Real Time Route Optimization
by: Mario, Sushil, et al.
Published: (2024)

Quantum-assisted Stacking Sequence Retrieval and Laminated Composite Design
by: Wulff, Arne, et al.
Published: (2024)

Quantum Computing and Tensor Networks for Laminate Design: A Novel Approach to Stacking Sequence Retrieval
by: Wulff, Arne, et al.
Published: (2024)

Calculating Nash Equilibrium on Quantum Annealers
by: Okrut, Olga, et al.
Published: (2021)

An Advanced Hybrid Quantum Tabu Search Approach to Vehicle Routing Problems
by: Holliday, James B., et al.
Published: (2025)

Divide-et-impera Heuristic-based Randomized Search for the Qubit Routing Problem
by: Baioletti, Marco, et al.
Published: (2025)

An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition
by: Lee, Hochang, et al.
Published: (2021)

Search Smarter, Not Harder: A Scalable, High-Quality Zoned Neutral Atom Compiler
by: Stade, Yannick, et al.
Published: (2025)

Exploring the application of quantum technologies to industrial and real-world use cases
by: Osaba, Eneko, et al.
Published: (2025)

Exploring Unsupervised Anomaly Detection with Quantum Boltzmann Machines in Fraud Detection
by: Stein, Jonas, et al.
Published: (2023)

An Efficient Iterative Algorithm for Qubit Mapping via Layer-Weight Assignment and Search Space Reduction
by: Xu, Kang, et al.
Published: (2025)

CutVQA: Co-Designing Circuit Cutting and Architecture Search for Scaling Variational Quantum Algorithms
by: Wu, Jun, et al.
Published: (2025)

TANGO: A Robust Qubit Mapping Algorithm via Two-Stage Search and Bidirectional Look
by: Xu, Kang, et al.
Published: (2025)

Towards Robust Benchmarking of Quantum Optimization Algorithms
by: Bucher, David, et al.
Published: (2024)

Towards a Dutch hybrid quantum/HPC infrastructure
by: Schüsler, Olaf, et al.
Published: (2024)

Towards an Automated Framework for Realizing Quantum Computing Solutions
by: Quetschlich, Nils, et al.
Published: (2022)

Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation
by: Stade, Yannick, et al.
Published: (2024)