EasyChair Smart Slide
A new logic for jointly representing hard and soft constraints
A new logic for jointly representing hard and soft constraints