The LaSh 2017 Workshop on Logic and Search

August 28 2017,  Melbourne Australia - A SAT/CP/ICLP Workshop

The LaSh Workshops on Logic and Search are devoted to the study of logic-based methods for specifying and solving computational search and optimization problems, with particular emphasis on solving based on high-level problem specifications.

LaSh 2017 will be held on August 28, in Melbourne Australia. It is a joint ICLP/ SAT/ CP workshop, immediately following IJCAI 2017. See the LaSh home page for details of previous meetings.

A Call for Contributions will be issued soon.

LaSh Steering Committee:

LaSh 2017 Organizers:

TBA.