- -

Listar por palabra clave "Satisfiability"

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

Listar por palabra clave "Satisfiability"

Ordenar por:Orden:Resultados:

  • Icon
    Algoritmos para SAT basados en la representación de tablas booleanas 
    Collado Ponce, Manuel (Universitat Politècnica de València, 2024-10-23)
    [ES] El problema SAT (satisfacibilidad en lógica proposicional) es muy importante, ya que fue el primer problema que se probó que era NP-completo y muchos otros problemas se resuelven mediante su reducción a SAT. Es por ...
  • 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 ...