Showing 2023Show all
2 papers · 1 filter
quant-ph2023
A polynomial quantum computing algorithm for solving the dualization problem
Mauro Mezzini, Fernando Cuartero Gomez, Fernando Pelayo +3
Given two prime monotone boolean functions and the dualization problem consists in determining if is the dual of , that i…
quant-ph2023
A hybrid Quantum proposal to deal with 3-SAT problem
Jose J. Paulet, Luis F. LLana, Hernan I. de la Cruz +3
Going as far as possible at SAT problem solving is the main aim of our work. For this sake we have made use of quantum computing from its two, on practice, main models of computati…