Steven Gay

13 papers A* 1A 4B 1Misc 1Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2023 A conf
The CP-SAT-LP Solver (Invited Talk).
CP
Laurent Perron, Frédéric Didier, Steven Gay
2017 A* conf
Expect the unexpected: Sub-second optimization for segment routing.
INFOCOM
Steven Gay, Renaud Hartert, Stefano Vissicchio
2017 J jnl
REPETITA: Repeatable Experiments for Performance Evaluation of Traffic-Engineering Algorithms.
CoRR
Steven Gay, Pierre Schaus, Stefano Vissicchio
2015 A conf
Conflict Ordering Search for Scheduling Problems.
CP
Steven Gay, Renaud Hartert, Christophe Lecoutre, Pierre Schaus
2015 J jnl
Inferring reaction systems from ordinary differential equations.
Theor. Comput. Sci.
François Fages, Steven Gay, Sylvain Soliman
2015 A conf
Simple and Scalable Time-Table Filtering for the Cumulative Constraint.
CP
Steven Gay, Renaud Hartert, Pierre Schaus
2015 — —
Subgraph Epimorphisms: Theory and Application to Model Reductions in Systems Biology.
Steven Gay
2015 B conf
Time-Table Disjunctive Reasoning for the Cumulative Constraint.
CPAIOR
Steven Gay, Renaud Hartert, Pierre Schaus
2014 A conf
Continuous Casting Scheduling with Constraint Programming.
CP
Steven Gay, Pierre Schaus, Vivian De Smedt
2014 J jnl
On the subgraph epimorphism problem.
Discret. Appl. Math.
Steven Gay, François Fages, Thierry Martinez, Sylvain Soliman, Christine Solnon
2012 — conf
Inferring Reaction Models from ODEs.
CMSB
François Fages, Steven Gay, Sylvain Soliman
2010 J jnl
A graphical method for reducing and relating models in systems biology.
Bioinform.
Steven Gay, Sylvain Soliman, François Fages
1985 Misc conf
LPC Speech analysis using the L
ICASSP
Richard J. Mammone, Kent Wang, Steven Gay