DMCA

SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers

by Germain Faure , Robert Nieuwenhuis , Albert Oliveras
Citations:6 - 0 self