Current Research Projects

STRIDES: Structure Identification with SAT
FWF Project P36420 on structure identification with SAT for algorithmic tractability.