Sesión 4: Boolean Satisfiability Listado de artículos correspondientes a la sesión: Satisfiability Solvers based on Resolution and Cutting Planes Proof SystemsinfChecker: A Tool for Checking InfeasibilitySMT-based Test-Case Generation with Complex Preconditions