CP2021 conference - day 1 

First day of CP2021: workshops! For me this means ModRef 2021. First up is Torsten Schaub introducing us to Answer Set Programming. I'm very interested to learn about ASP, a topic I should probably know much more about!

CP2021 conference - day 1 

ASP seems like a paradigm that has a lot in common with constraint modelling languages, but taking a very pure logic programming approach. There seems to be a lot of interesting work there!

CP2021 conference - day 1 

Onto Felix Ulrich-Oltean's talk on choosing the Boolean encoding for linear and PB constraints. This is something close to home, I'm really interested what new approaches they bring to the table!

CP2021 conference - day 1 

Really interesting approach to choosing encodings! Something I'll definitely read up on!

CP2021 conference - day 1 

Time for Peter Stuckey's talk on enumerated types. Something I've been playing around with for a while! I really love this new MiniZinc extension! No need for integer decision variables anymore 馃挭

CP2021 conference - day 1 

Last talk in the session about constraint patterns. A very interesting way of approaching modelling a problem that is very much founded in user data. constraintpatterns.com/

Follow

CP2021 conference - day 1 

The second invited talk of the day on the IDP modelling system. A name I've heard before, but never seen in practice. It's an interesting idea to represent *knowledge* between so many different paradigms. dtai.cs.kuleuven.be/drupal/sof

Web 1 0 0

CP2021 conference - day 1 

I think I'm getting a bit to tired to live-toot these later sessions. Talks are still very worthwhile though! Ending the session with model analysis of the Essence models, which is impressive as always!

CP2021 conference - day 1 

The final session with the lightning talk and following discussion was great. It was great to hear that others are thinking about the same problems.

Sign in to participate in the conversation
Scholar Social

Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators鈥攁nyone involved in academia who is willing to engage with others respectfully.