Mario J. Pérez-Jímenez

Dependency Graph Technique Revisited

2019 · Deposito de Investigacion Universidad de Sevilla (University of Seville)

The dependency graph technique was initially thought as a method to find short paths in the computation tree of a membrane system using weak metrics. It could be used to obtain reasonably fast SAT-solvers, capable …