...
His research has been focused on developing theory, techniques and
tools for SAT, SMT and decision procedures. He has been involved in
the implementation and design of the Barcelogic systems for SAT and
SMT, and the design of the MaxSAT solver MiniMaxSAT. These systems are
well-known for their efficiency and have won several awards at
different SAT, MaxSAT and SMT competitions. Recently, his primary
research interest has focused on applying SAT-based technology to solve
combinatorial optimization problems.
| Attachments | ||
|---|---|---|
|