CLPGUI

swMATH14834MaRDI QIDQ26730FDOQ26730

Author name not available (Why is that?)

Cited In (3)

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

This page was built for software: CLPGUI