Three is a crowd: SAT, SMT and CLP on a chessboard


Date
Location
Los Angeles, USA
Avatar
Sebastian Krings
Postdoc

My research interests include formal methods, model checking and logic programming.