lorenzleutgeb

% pc(M)         M is a member of the Program Committee.
% paper(P)      P is a submitted paper.
% assigned(P,M) M is assigned to review paper P.
% bid(M,P,B)    M has rated the paper P with B.

% The following four auxiliary predicates are just handy shorthands:
cannot(P,M) :- bid(M,P,0).
wantnot(P,M) :- bid(M,P,1).

% 1. each PC-member is assigned with at most five submissions