Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability.

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan

Browse the full VMCAI paper archive.