fbacchus

University of Toronto, Dept. Computer ScienceToronto, Canada

Pinned Repositories

MaxHS
MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
Language:C++23 5 77
maxsat-evaluations.github.io
Website for MaxSAT Evaluations
Language:HTML52
SAT_Draft
Language:TeX00
trail-saving-paper
Language:C++00

fbacchus's Repositories

fbacchus/MaxHS
MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
Language:C++23 5 77