Quantum annealing provides a method to solve combinatorial optimization problems in
complex energy landscapes by exploiting thermal fluctuations that exist in a physical system …

This work presents the mapping of the traveling salesperson problem (TSP) based in
pseudo-Boolean constraints to a graph of the D-Wave Systems Inc. We first formulate the …

This paper introduces SATyrus, a neuro-symbolic architecture oriented to optimization
problem solving via mapping problems specification into sets of pseudo-Boolean …

The field of pharmacogenomics investigates how genomics may modulate pathological
trends using information on both genotype and phenotype, with the aim of designing …

Much has been promised about quantum computing accelerators, but few actual commercial
technologies have been made available so far. The D-Wave Computers Series constitutes …

A fully automated strategy to handle antigenic variability in immunisation protocols is here
presented. The method comprises of (1) nanopore sequencing of infectious agent variants …

A plethora of therapeutic properties can be attributed to phytocompounds, and increasing
new methodologies can be employed to optimise their utilisation. In cancer research …

This paper presents the implementation of ARQ-PROP II, a limited-depth propositional
neural reasoner based on the Resolution Principle. The SATyrus platform was used in the …

This paper presents the implementation of ARQ-PROP II, a limited-depth propositional
reasoner, via the compilation of its specification into an exact formulation using the sat yrus …

Computer chips are composed by large amounts of transistors that flip between states, on
and off, to build binary digits. These traditional computers based on bits, store all data as 1s …