Eric Monfroy

Available identifiers

zbMath Open monfroy.ericMaRDI QIDQ256653

List of research outcomes

Publication	Date of Publication	Type
Improving complex SMT strategies with learning	2023-11-17	Paper
Modular Constraint Solver Cooperation via Abstract Interpretation	2020-12-13	Paper
Reachability in parametric interval Markov chains using constraints	2019-09-17	Paper
Reachability in parametric interval Markov chains using constraints	2018-09-24	Paper
A global constraint for over-approximation of real-time streams	2018-02-23	Paper
Symbolic-interval cooperation in constraint programming	2017-02-03	Paper
Set constraint model and automated encoding into SAT: application to the social golfer problem	2016-03-09	Paper
A hybrid soft computing approach for subset problems	2014-11-24	Paper
Constraint-based analysis of composite solvers	2012-04-13	Paper
Logic Programming	2009-08-06	Paper
A Generic Framework for Local Search: Application to the Sudoku Problem	2008-12-09	Paper
Using Local Search for Guiding Enumeration in Constraint Solving	2008-11-27	Paper
A Constructive Hybrid Algorithm for Crew Pairing Optimization	2008-11-27	Paper
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches	2008-11-04	Paper
Frontiers of Combining Systems	2006-10-10	Paper
Logic Programming	2006-06-27	Paper
Logic Programming	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4475670	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4475107	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4473379	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4473051	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4471948	2004-07-30	Paper
Constraint programming viewed as rule-based programming	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4424853	2003-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q3152944	2002-11-03	Paper
Then constraint solver collaboration language of BALI	2002-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q2729952	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4495105	2000-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4939280	2000-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4944889	2000-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4934146	2000-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4265398	1999-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q4221351	1999-01-03	Paper

Research outcomes over time

This page was built for person: Eric Monfroy