Blar i Brage HiM på forfatter "da Silva, Rodrigo Ferreira"
-
Combining solutions of the optimum satisfiability problem using evolutionary tunneling
da Silva, Rodrigo Ferreira; Hvattum, Lars Magnus; Glover, Fred (Peer reviewed; Journal article, 2020)The optimum satisfiability problem involves determining values for Boolean vari- ables to satisfy a Boolean expression, while maximizing the sum of coefficients associated with the variables chosen to be true. Existing ... -
Extended high dimensional indexing approach for reachability queries on very large graphs
da Silva, Rodrigo Ferreira; Urrutia, Sebastián; Hvattum, Lars Magnus (Peer reviewed; Journal article, 2021)Given a directed acyclic graph G = (V,A) and two vertices u, v ∈ V , the reachability problem is to answer if there is a path from u to v in the graph. In the context of very large graphs, with millions of vertices and a ...