Publications

Filter by type:
. Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT. JSAT, Vol. 11 (To Appear), 2019.

Code Project

. Bounding Box Layers for Relationship Detection. ECCV-W, 2018.

Project Poster

. Approximation Strategies for Incomplete MaxSAT. CP, 2018.

Preprint PDF Code Project DOI

. Open-WBO-Inc in MaxSAT Evaluation 2018. MaxSAT Evaluation 2018, 2018.

PDF Code Project