CLPGUI

swMATH14834MaRDI QIDQ26730FDOQ26730

Author name not available (Why is that?)

Official website: http://link.springer.com/article/10.1023/B:CONS.0000049203.53383.c1

Cited In (7)

• On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
• Rules2CP
• From Rules to Constraint Programs with the Rules2CP Modelling Language
• Metatool
• Petriweb
• APT
• An Interactive Driver for Goal-directed Proof Strategies

This page was built for software: CLPGUI