Thierry Martinez

Available identifiers

zbMath Open martinez.thierryMaRDI QIDQ272011

List of research outcomes

Publication	Date of Publication	Type
Influence systems vs reaction systems	2018-03-22	Paper
A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems	2016-06-27	Paper
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity	2016-04-20	Paper
On the subgraph epimorphism problem	2014-09-12	Paper
Design and implementation of a concurrent logic programming language with linear logic constraints	2012-05-11	Paper
Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming	2011-04-01	Paper

Research outcomes over time

This page was built for person: Thierry Martinez