5 citations · 5 across the 6 of their papers we have counts for
Showing quant-phShow all
2 papers · 1 filter
quant-ph2026
Explore Simpler Eigenmarking: Quantum Entailment Model Checking
Tatpong Katanyukul
Targeting entailment model checking, a recent study has pioneered an idea of Eigenmarking search, an improvement over Grover search using extra qubits. The extra qubits condition t…
quant-ph2025
Toward Entailment Checking: Explore Eigenmarking Search
Tatpong Katanyukul
Logic entailment is essential to reasoning, but entailment checking has the worst-case complexity of an exponential of the variable size. With recent development, quantum computing…