Zobrazeno 1 - 2
of 2
pro vyhledávání: '"de la Cruz, Hernán I."'
Autor:
Paulet, Jose J., LLana, Luis F., de la Cruz, Hernan I., Mezzini, Mauro, Cuartero, Fernando, Pelayo, Fernando L.
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 computation. They have required some reformulations over the former statement o
Externí odkaz:
http://arxiv.org/abs/2306.04378
Autor:
de la Cruz, Hernán I., Pelayo, Fernando L., Pascual, Vicente, Paulet, Jose J., Cuartero, Fernando, Llana, Luis, Mezzini, Mauro
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 NP-complete. It is thought to be of comparable difficulty to integer f
Externí odkaz:
http://arxiv.org/abs/2209.14914