Miran Hasanagic

Latest

• From Software Specifications to Constraint Programming
• Three is a crowd: SAT, SMT and CLP on a chessboard