Login / Signup

On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity.

Faten NabliThierry MartinezFrançois FagesSylvain Soliman
Published in: Constraints An Int. J. (2016)
Keyphrases