Results of
HWMCC'08
available.
HWMCC'10 is next, affl. with HWVW'10.
Source code of DepQBF
available,
our new search-based QBF solver.
We were involved in organizing FMCAD'09.
Pictures, Slides available.
In the latest SMT
competition, our SMT-solver
Boolector won
the second place in the division
of bit-vectors and the first place in the division
of bit-vectors and arrays.
Three prizes for our SAT solver PrecoSAT.
Video
presented at SAT'08.
We organized a
talk about
Satisfiability Modulo Theories @ Microsoft.