Sesión 4: Boolean Satisfiability
Listado de artículos correspondientes a la sesión:
- Satisfiability Solvers based on Resolution and Cutting Planes Proof Systems
Maria Luisa Bonet / - infChecker: A Tool for Checking Infeasibility
Raúl Gutiérrez / Salvador Lucas / - SMT-based Test-Case Generation with Complex Preconditions
Ricardo Peña / Jaime Sánchez-Hernández / Miguel Garrido / Javier Sagredo /