R. Alejo

Identifiers

No identifiers captured yet.

Papers (1)

1. A Linear Time Algorithm for Solving #2SAT on Cactus Formulas cs.LO · 2017 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• G. De Ita 1 shared papers
• H. A. Montes-Venegas 1 shared papers
• J. R. Marcial 1 shared papers
• M. A. L\'Opez 1 shared papers