MCW23: Enumerating Disjoint Partial Models without Blocking Clauses

Date:

MCW-1

Presentation of my work “Enumerating Disjoint Partial Models without Blocking Clauses”.

MCW-2

MCW-3