1 citations · 1 across the 7 of their papers we have counts for
7 papers
Extending the Bloch sphere model to an N-qubit system
Francisco Piñero, Cristian Franco, Hernán I. de la Cruz +5
The Bloch sphere is an elegant tool for representing single-qubit states. However, a widely accepted generalization for multi-qubit systems with entanglement remains absent. We pro…
Experimental algorithms for the dualization problem
Mauro Mezzini, Fernando Cuartero Gomez, Jose Javier Paulet Gonzalez +3
In this paper, we present experimental algorithms for solving the dualization problem. We present the results of extensive experimentation comparing the execution time of various a…
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…
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…
Quantum invariants for the graph isomorphism problem
Hernán I. de la Cruz, Fernando L. Pelayo, Vicente Pascual +4
Graph Isomorphism is such an important problem in computer science, that it has been widely studied over the last decades. It is well known that it belongs to NP class, but is not…
Quantum algorithm for doubling the amplitude of the search problem's solution states
Mauro Mezzini, Fernando L. Pelayo, Fernando Cuartero
In this paper we present a quantum algorithm which increases the amplitude of the states corresponding to the solutions of the search problem by a factor of almost two.
ROSA Analyser: An automatized approach to analyse processes of ROSA
Raúl Pardo, Fernando L. Pelayo
In this work we present the first version of ROSA Analyser, a tool designed to get closer to a fully automatic process of analysing the behaviour of a system specified as a process…