Lab for Automated Reasoning and Analysis LARA

Exercises 01

For next time, please try to bring a laptop with installed:

Background

SAT Solvers

Simple Encodings into Propositional Logic

Fixed-width Bitvectors

A preview of Finite-Model Finders as application of propositional logic.

 
sav10/exercises_01.txt · Last modified: 2010/03/04 12:03 by vkuncak
 
© EPFL 2018 - Legal notice