• Comparative Analysis of Water Extraction Mechanism in Roman Mines
    with J. C. Fortes-Garrido, A. M. Rodríguez-Pérez, J. J. Caparrós-Mancera, J. M. Dávila-Martín, and J. Castilla-Gutiérrez
    Foundations of Science 1-19. forthcoming.
    The removal of water from mines was one of the key issues that former miners had to deal with. Roman colonists brought new technology to the Iberian Peninsula that addressed this problem. However, they did not invent this technology because it had already been applied to the growth of other endeavours in the Hellenistic society throughout the Eastern Mediterranean. In the mine, the Archimedes screw, waterwheels, bucket pulleys, and Ctesibius pumps were the primary drainage systems. In this essay…Read more
  •  4
    Botánica económica y etnobotánica en al-Andalus , un patrimonio desconocido de la humanidad
    with Expiración García Sánchez
    Arbor 166 (654): 311-331. 2000.
  •  3
    A bottom-up algorithm for solving ♯2SAT
    with Guillermo De Ita and J. Raymundo Marcial-Romero
    Logic Journal of the IGPL 28 (6): 1130-1140. 2020.
    Counting models for a two conjunctive formula $F$, a problem known as $\sharp $2Sat, is a classic $\sharp $P complete problem. Given a 2-CF $F$ as input, its constraint graph $G$ is built. If $G$ is acyclic, then $\sharp $2Sat can be computed efficiently. In this paper, we address the case when $G$ has cycles. When $G$ is cyclic, we propose a decomposition on the constraint graph $G$ that allows the computation of $\sharp $2Sat in incremental way. Let $T$ be a cactus graph of $G$ containing a ma…Read more