1 paper
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…