Declarative Programming | Sebastian Krings /tag/declarative-programming/ Declarative Programming Wowchemy (https://wowchemy.com)en-usMon, 08 Jan 2018 00:00:00 +0000 /media/icon_hua2ec155b4296a9c9791d015323e16eb5_11927_512x512_fill_lanczos_center_3.png Declarative Programming /tag/declarative-programming/ Three is a crowd: SAT, SMT and CLP on a chessboard /publication/krings-crowded-chessboard-padl18/ Mon, 08 Jan 2018 00:00:00 +0000 /publication/krings-crowded-chessboard-padl18/