- LinSBPS, a MaxSAT solver developed by me and Prof Stuckey. It was ranked first place in the incomplete weighted 300 seconds track of the MaxSAT Evaluation 2018. LinSBPS incorporates a novel varying resolution approach with solution-guided search. You can read about it here (more detailed version soon).
- Chuffed-SGS, a modification to the Chuffed constraint programming solver which includes solution-guided search and Luby restarts. In addition, I added the option of specifying a partial feasible solution to the solver, which is particularly useful if one can use a heuristic algorithm to generate a “good” starting solution. This version is a clear improvement over baseline Chuffed. You can read about in my CP publication and its particular application to high school timetabling.
For missing software, please contact me directly and I will add them to the website as soon as possible.
Note: for some reason, I had issues unzipping the files on Macs. If this is an issue for you, please contact me!