Login / Signup

SMT encodings for Resource-Constrained Project Scheduling Problems.

Miquel BofillJordi CollJosep SuyMateu Villaret
Published in: Comput. Ind. Eng. (2020)
Keyphrases