Skip to content

Finding Solutions by Finding Inconsistencies.

Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Min

VenueACP
Year2018
ProceedingsCP

Browse the full CP paper archive.