SAT and SMT

28 Outubro 2016, 16:30 • Antónia Lopes

• SAT solvers
• SMT solvers