Repositorio Dspace

Listar por autor "Rodríguez-Carbonell, Enric"

Listar por autor "Rodríguez-Carbonell, Enric"

Ordenar por:Orden:Resultados:

  • SAT Modulo Linear Arithmetic for Solving Polynomial
    Borralleras Andreu, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert (04-10-2012)
    Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g., termination proving, program invariant generation and hybrid system verification, to name a ...
  • The recursive path and polynomial ordering for first-order and higher-order terms
    Bofill, Miquel; Borralleras Andreu, Cristina; Rodríguez-Carbonell, Enric; Rubio, Albert (Oxford University Press, 06-2012)
    In most termination tools two ingredients, namely recursive path orderings (RPOs) and polynomial interpretation orderings (POLOs), are used in a consecutive disjoint way to solve the final constraints generated from the ...