- -

Listar por autor "Rodriguez-Carbonell, Enric"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por autor "Rodriguez-Carbonell, Enric"

Ordenar por:Orden:Resultados:

  • thumb
    SAT modulo linear arithmetic for Solving Polynomial Constraints 
    Borralleras, Cristina; Lucas Alba, Salvador; Oliveras ., Albert; Rodriguez-Carbonell, Enric; Rubio ., Albert (Springer Netherlands, 2012-01)
    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 ...