The following papers have been accepted for presentation at the workshop (in no particular order): Jakob Puchinger and Peter Stuckey. Automating Branch-and-Bound ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...