default search action
Éric Monfroy
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j24]Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy:
Robust models to infer flexible nondeterministic finite automata. J. Comput. Sci. 79: 102309 (2024) - [c119]Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy:
Classifying Words with 3-sort Automata. ICAART (3) 2024: 1179-1188 - [c118]Guillaume Fertin, Éric Monfroy, Claudia Vasconcellos-Gaete:
Best of Both Worlds: Solving the Cyclic Bandwidth Problem by Combining Pre-existing Knowledge and Constraint Programming Techniques. ICCS (5) 2024: 197-211 - [c117]José García, Felipe Cisternas-Caneo, Broderick Crawford, Ricardo Soto, Marcelo Becerra-Rozas, Giovanni Giachetti, Éric Monfroy:
Enhancing Reptile Search Algorithm Performance for the Knapsack Problem with Integration of Chaotic Map. MICAI (2) 2024: 70-81 - [c116]Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy:
Classifying Words with 3-sort Automata. SAC 2024: 787-788 - [i12]Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy:
Classifying Words with 3-sort Automata. CoRR abs/2401.01314 (2024) - 2023
- [c115]Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy:
Inference of Over-Constrained NFA of Size k+1 to Efficiently and Systematically Derive NFA of Size k for Grammar Learning. ICCS (1) 2023: 134-147 - [c114]Pablo Ábrego-Calderón, Broderick Crawford, Ricardo Soto, Eduardo Rodriguez-Tello, Felipe Cisternas-Caneo, Éric Monfroy, Giovanni Giachetti:
Multi-armed Bandit-Based Metaheuristic Operator Selection: The Pendulum Algorithm Binarization Case. OLA 2023: 248-259 - [i11]Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy:
Taking advantage of a very simple property to efficiently infer NFAs. CoRR abs/2303.09311 (2023) - 2022
- [c113]Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy:
Taking Advantage of a Very Simple Property to Efficiently Infer NFAs. ICTAI 2022: 1355-1361 - 2021
- [j23]Miguel Ángel Rodríguez-García, Jesús Sánchez-Oro, Eduardo Rodriguez-Tello, Éric Monfroy, Abraham Duarte:
Two-dimensional bandwidth minimization problem: Exact and heuristic approaches. Knowl. Based Syst. 214: 106651 (2021) - [c112]Hugues Déprés, Guillaume Fertin, Éric Monfroy:
Improved Lower Bounds for the Cyclic Bandwidth Problem. ICCS (1) 2021: 555-569 - [c111]Frédéric Lardeux, Éric Monfroy:
Optimized models and symmetry breaking for the NFA inference problem. ICTAI 2021: 396-403 - [c110]Frédéric Lardeux, Éric Monfroy:
Improved SAT Models for NFA Learning. OLA 2021: 267-279 - [i10]Frédéric Lardeux, Éric Monfroy:
GA and ILS for optimizing the size of NFA models. CoRR abs/2107.05877 (2021) - [i9]Frédéric Lardeux, Éric Monfroy:
Improved SAT models for NFA learning. CoRR abs/2107.06672 (2021) - 2020
- [j22]Frédéric Lardeux, Éric Monfroy, Eduardo Rodriguez-Tello, Broderick Crawford, Ricardo Soto:
Solving complex problems using model transformations: from set constraint modeling to SAT instance solving. Expert Syst. Appl. 149: 113243 (2020) - [j21]Nicolás Gálvez Ramírez, Éric Monfroy, Frédéric Saubion, Carlos Castro:
Improving complex SMT strategies with learning. Int. Trans. Oper. Res. 27(2): 1162-1188 (2020) - [j20]Pierre Talbot, Éric Monfroy, Charlotte Truchet:
Modular Constraint Solver Cooperation via Abstract Interpretation. Theory Pract. Log. Program. 20(6): 848-863 (2020) - [i8]Pierre Talbot, Éric Monfroy, Charlotte Truchet:
Modular Constraint Solver Cooperation via Abstract Interpretation. CoRR abs/2008.01415 (2020)
2010 – 2019
- 2019
- [c109]Pierre Talbot, David Cachera, Éric Monfroy, Charlotte Truchet:
Combining Constraint Languages via Abstract Interpretation. ICTAI 2019: 50-58 - 2018
- [j19]Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Éric Monfroy, Charlotte Truchet:
Reachability in parametric Interval Markov Chains using constraints. Theor. Comput. Sci. 747: 48-74 (2018) - [c108]Nicolás Gálvez Ramírez, Éric Monfroy, Frédéric Saubion, Carlos Castro:
Optimizing SMT Solving Strategies by Learning with an Evolutionary Process. HPCS 2018: 816-820 - 2017
- [j18]Anicet Bart, Charlotte Truchet, Éric Monfroy:
A global constraint for over-approximation of real-time streams. Constraints An Int. J. 22(3): 463-490 (2017) - [c107]Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet:
Reachability in Parametric Interval Markov Chains Using Constraints. QEST 2017: 173-189 - [c106]Broderick Crawford, Ricardo Soto, Éric Monfroy, Gino Astorga, José García, Enrique Cortés:
A Meta-Optimization Approach for Covering Problems in Facility Location. WEA 2017: 565-578 - [i7]Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet:
Reachability in Parametric Interval Markov Chains using Constraints. CoRR abs/1706.00270 (2017) - 2016
- [c105]Nicolás Gálvez Ramírez, Youssef Hamadi, Éric Monfroy, Frédéric Saubion:
Towards Automated Strategies in Satisfiability Modulo Theory. EuroGP 2016: 230-245 - [c104]Frédéric Lardeux, Éric Monfroy:
From Set Constraint Models to SAT Instances. ICTAI 2016: 212-217 - [c103]Frédéric Lardeux, Éric Monfroy:
From Set Constraint Models to SAT Instances. ICTAI 2016: 231-238 - [c102]Nicolás Gálvez Ramírez, Youssef Hamadi, Éric Monfroy, Frédéric Saubion:
Evolving SMT Strategies. ICTAI 2016: 247-254 - 2015
- [j17]Frédéric Lardeux, Éric Monfroy, Broderick Crawford, Ricardo Soto:
Set constraint model and automated encoding into SAT: application to the social golfer problem. Ann. Oper. Res. 235(1): 423-452 (2015) - [j16]Ricardo Soto, Broderick Crawford, Wenceslao Palma, Karin Galleguillos, Carlos Castro, Éric Monfroy, Franklin Johnson, Fernando Paredes:
Boosting autonomous search for CSPs via skylines. Inf. Sci. 308: 38-48 (2015) - [j15]Éric Monfroy:
A Gentle Guide to Constraint Logic Programming via ECLiPSe by Antoni Niederliński, xiii + 509 pages, published by Jacek Skalmierski Computer Studio, Third Edition, 2014. Theory Pract. Log. Program. 15(1): 143-144 (2015) - [c101]Broderick Crawford, Ricardo Soto, Franklin Johnson, Éric Monfroy, Enrique Norero, Eduardo Olguín:
Towards a Framework for Adaptive Constraint Propagation. HCI (27) 2015: 578-581 - [c100]Frédéric Lardeux, Éric Monfroy:
Expressively Modeling the Social Golfer Problem in SAT. ICCS 2015: 336-345 - [c99]Anicet Bart, Charlotte Truchet, Éric Monfroy:
Verifying a Real-Time Language with Constraints. ICTAI 2015: 844-851 - 2014
- [j14]Broderick Crawford, Ricardo Soto, Franklin Johnson, Éric Monfroy, Fernando Paredes:
A Max-Min Ant System algorithm to solve the Software Project Scheduling Problem. Expert Syst. Appl. 41(15): 6634-6645 (2014) - [c98]Frédéric Lardeux, Éric Monfroy:
From Declarative Set Constraint Models to "Good" SAT Instances. AISC 2014: 76-87 - [c97]Broderick Crawford, Ricardo Soto, Franklin Johnson, Éric Monfroy, Fernando Paredes:
A New Approach to Solve the Software Project Scheduling Problem Based on Max-Min Ant System. CSOC 2014: 41-51 - [c96]Broderick Crawford, Ricardo Soto, Rodrigo Olivares, Rodrigo Herrera, Éric Monfroy, Fernando Paredes:
Autonomous Search: Towards the Easy Tuning of Constraint Programming Solvers. HCI (26) 2014: 165-168 - [c95]Broderick Crawford, Ricardo Soto, Gustavo Zuñiga, Éric Monfroy, Fernando Paredes:
Modeling Manufacturing Cell Design Problems: CP vs. MH. HCI (26) 2014: 498-502 - [c94]Broderick Crawford, Ricardo Soto, Éric Monfroy, Franklin Johnson:
Self-adaptive Systems: Facilitating the Use of Combinatorial Problem Solvers. HCI (26) 2014: 503-508 - [c93]Broderick Crawford, Ricardo Soto, Carolina Zec, Éric Monfroy, Fernando Paredes:
Easy Modeling of Open Pit Mining Problems via Constraint Programming. HCI (26) 2014: 519-522 - [i6]Frédéric Lardeux, Éric Monfroy, Broderick Crawford, Ricardo Soto:
Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem. CoRR abs/1406.7196 (2014) - 2013
- [j13]Broderick Crawford, Ricardo Soto, Éric Monfroy, Wenceslao Palma, Carlos Castro, Fernando Paredes:
Parameter tuning of a choice-function based hyperheuristic using Particle Swarm Optimization. Expert Syst. Appl. 40(5): 1690-1695 (2013) - [j12]Ricardo Soto, Broderick Crawford, Cristian Galleguillos, Éric Monfroy, Fernando Paredes:
A hybrid AC3-tabu search algorithm for solving Sudoku puzzles. Expert Syst. Appl. 40(15): 5817-5821 (2013) - [j11]Éric Monfroy, Carlos Castro, Broderick Crawford, Ricardo Soto, Fernando Paredes, Christian Figueroa:
A reactive and hybrid constraint solver. J. Exp. Theor. Artif. Intell. 25(1): 1-22 (2013) - [c92]Broderick Crawford, Claudio León de la Barra, Ricardo Soto, Mario Dorochesi, Éric Monfroy:
The Role of Knowledge Management in Agile Software Development. HCI (28) 2013: 17-21 - [c91]Broderick Crawford, Ricardo Soto, Franklin Johnson, Éric Monfroy:
Ants Can Schedule Software Projects. HCI (28) 2013: 635-639 - [c90]Claudio León de la Barra, Ricardo Soto, Broderick Crawford, Camila Allendes, Hans Berendsen, Éric Monfroy:
Modeling the Portfolio Selection Problem with Constraint Programming. HCI (28) 2013: 645-649 - [c89]Claudio León de la Barra, Broderick Crawford, Ricardo Soto, Éric Monfroy:
Adaptive and Multilevel Approach for Constraint Solving. HCI (28) 2013: 650-654 - [c88]Ricardo Soto, Broderick Crawford, Diego Riquelme, Éric Monfroy:
A GUI for Modeling Regular Constraints. HCI (28) 2013: 660-663 - [c87]Éric Monfroy, Broderick Crawford, Ricardo Soto:
Interleaving Constraint Propagation: An Efficient Cooperative Search with Branch and Bound. Hybrid Metaheuristics 2013: 52-61 - [c86]Claudio León de la Barra, Broderick Crawford, Ricardo Soto, Sanjay Misra, Éric Monfroy:
Agile Software Development: It Is about Knowledge Management and Creativity. ICCSA (3) 2013: 98-113 - [c85]Éric Monfroy, Broderick Crawford, Ricardo Soto:
Automatic Triggering of Constraint Propagation. ICCSA (5) 2013: 452-461 - [c84]Broderick Crawford, Claudio León de la Barra, Ricardo Soto, Sanjay Misra, Éric Monfroy:
Knowledge Management and Creativity in Software Engineering - The Foundations of Agility. ICEIS (2) 2013: 265-272 - [c83]Ricardo Soto, Broderick Crawford, Rodrigo Bertrand, Éric Monfroy:
Nurse Rostering with Soft Constraints - Evidence from Chilean Mid-size Health Care Centers. ICEIS (1) 2013: 430-435 - [c82]Ricardo Soto, Stéphane Caro, Broderick Crawford, Éric Monfroy:
Robust Solutions for a Robotic Manipulator Optimization Problem. IWINAC (2) 2013: 451-460 - [c81]Broderick Crawford, Ricardo Soto, Éric Monfroy:
Cultural Algorithms for the Set Covering Problem. ICSI (2) 2013: 27-34 - 2012
- [j10]Ricardo Soto, Håkan Kjellerstrand, Orlando Durán, Broderick Crawford, Éric Monfroy, Fernando Paredes:
Cell formation in group technology using constraint programming and Boolean satisfiability. Expert Syst. Appl. 39(13): 11423-11427 (2012) - [j9]Claudio Valenzuela, Broderick Crawford, Ricardo Soto, Éric Monfroy, Fernando Paredes:
A 2-level Metaheuristic for the Set Covering Problem. Int. J. Comput. Commun. Control 7(2): 377-387 (2012) - [c80]Broderick Crawford, Carlos Castro, Éric Monfroy, Ricardo Soto, Wenceslao Palma, Fernando Paredes:
A Hyperheuristic Approach for Guiding Enumeration in Constraint Solving. EVOLVE 2012: 171-188 - [c79]Broderick Crawford, Claudio León de la Barra, Ricardo Soto, Sanjay Misra, Éric Monfroy:
Knowledge Management and Creativity Practices in Software Engineering. KMIS 2012: 277-280 - [c78]Ricardo Soto, Broderick Crawford, Éric Monfroy, Víctor Bustos:
Using Autonomous Search for Generating Good Enumeration Strategy Blends in Constraint Programming. ICCSA (3) 2012: 607-617 - [c77]Broderick Crawford, Claudio León de la Barra, Ricardo Soto, Éric Monfroy:
Agile software engineering as creative work. CHASE 2012: 20-26 - [c76]Ricardo Soto, Håkan Kjellerstrand, Juan Gutiérrez, Alexis López, Broderick Crawford, Éric Monfroy:
Solving Manufacturing Cell Design Problems Using Constraint Programming. IEA/AIE 2012: 400-406 - [p2]Youssef Hamadi, Éric Monfroy, Frédéric Saubion:
An Introduction to Autonomous Search. Autonomous Search 2012: 1-11 - [e2]Youssef Hamadi, Éric Monfroy, Frédéric Saubion:
Autonomous Search. Springer 2012, ISBN 978-3-642-21433-2 [contents] - 2011
- [j8]Éric Monfroy:
Constraint Handling Rules by Thom Frühwirth, Cambridge University Press, 2009. Hard cover: ISBN 978-0-521-87776-3. Theory Pract. Log. Program. 11(1): 125-126 (2011) - [c75]Renzo Pizarro, Gianni Rivera, Ricardo Soto, Broderick Crawford, Carlos Castro, Éric Monfroy:
Constraint-Based Nurse Rostering for the Valparaíso Clinic Center in Chile. HCI (23) 2011: 448-452 - [c74]Broderick Crawford, Ricardo Soto, Carlos Castro, Éric Monfroy:
Extensible CP-Based Autonomous Search. HCI (22) 2011: 561-565 - [c73]Broderick Crawford, Ricardo Soto, Mauricio Montecinos, Carlos Castro, Éric Monfroy:
A Framework for Autonomous Search in the Eclipse Solver. IEA/AIE (1) 2011: 79-84 - [c72]Broderick Crawford, Ricardo Soto, Carlos Castro, Éric Monfroy:
A Hyperheuristic Approach for Dynamic Enumeration Strategy Selection in Constraint Satisfaction. IWINAC (2) 2011: 295-304 - [c71]Éric Monfroy, Carlos Castro, Broderick Crawford, Christian Figueroa:
Adaptive hybridization strategies. SAC 2011: 922-923 - 2010
- [c70]Broderick Crawford, Carlos Castro, Éric Monfroy:
Using a Choice Function for Guiding Enumeration in Constraint Solving. MICAI (Special Sessions) 2010: 37-42
2000 – 2009
- 2009
- [j7]Carlos Castro, Éric Monfroy:
Some Results on the design of Balanced Academic Curricula. CLEI Electron. J. 12(1) (2009) - [c69]Pablo Garrido, Carlos Castro, Éric Monfroy:
Towards a Flexible and Adaptable Hyperheuristic Approach for VRPs. IC-AI 2009: 311-317 - [c68]Frédéric Lardeux, Éric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro:
SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints. MICAI 2009: 360-371 - [c67]Broderick Crawford, Mauricio Montecinos, Carlos Castro, Éric Monfroy:
A Choice Function to Dynamic Selection of Enumeration Strategies Solving Constraint Satisfaction Problems. SoCPaR 2009: 229-233 - [c66]Broderick Crawford, Carlos Castro, Éric Monfroy:
A New ACO Transition Rule for Set Partitioning and Covering Problems. SoCPaR 2009: 426-429 - 2008
- [j6]Éric Monfroy, Oliver Perri, Christophe Ringeissen:
Modelando la composición de servicios web con restricciones. Rev. Avances en Sistemas Informática 5(1): 173-179 (2008) - [c65]Frédéric Lardeux, Éric Monfroy, Frédéric Saubion:
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches. AIMSA 2008: 380-384 - [c64]Éric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro:
A Theoretical Framework for Local Search Techniques. CSE 2008: 335-342 - [c63]Éric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro:
Local Search as a Fixed Point of Functions. ICEIS (2) 2008: 431-434 - [c62]Broderick Crawford, Carlos Castro, Éric Monfroy:
Constraint Programming Can Help Ants Solving Highly Constrainted Combinatorial Problems. ICSOFT (PL/DPS/KE) 2008: 380-383 - [c61]Éric Monfroy, Olivier Perrin, Christophe Ringeissen:
Dynamic Web Services Provisioning with Constraints. OTM Conferences (1) 2008: 26-43 - 2007
- [c60]Broderick Crawford, Carlos Castro, Éric Monfroy, Claudio Cubillos:
Decomposition Approach to Solve Dial-a-Ride Problems Using Ant Computing and Constraint Programming. BVAI 2007: 448-457 - [c59]Carlos Castro, Broderick Crawford, Éric Monfroy:
A Quantitative Approach for the Design of Academic Curricula. HCI (9) 2007: 279-288 - [c58]Broderick Crawford, Carlos Castro, Éric Monfroy:
Knowledge Management in the Development of Optimization Algorithms. HCI (8) 2007: 604-612 - [c57]Broderick Crawford, Carlos Castro, Éric Monfroy:
Development of Algorithms to Solve Combinatorial Problems. ICEIS (3) 2007: 636-639 - [c56]Broderick Crawford, Carlos Castro, Éric Monfroy:
Solving Dial-a-Ride Problems with a Low-Level Hybridization of Ants and Constraint Programming. IWINAC (2) 2007: 317-327 - [c55]Broderick Crawford, Carlos Castro, Éric Monfroy:
Integration of Constraint Programming and Metaheuristics. SARA 2007: 397-398 - 2006
- [c54]Broderick Crawford, Carlos Castro, Éric Monfroy:
Knowledge Management in Different Software Development Approaches. ADVIS 2006: 304-313 - [c53]Éric Monfroy, Carlos Castro, Broderick Crawford:
Adaptive Enumeration Strategies and Metabacktracks for Constraint Solving. ADVIS 2006: 354-363 - [c52]Broderick Crawford, Carlos Castro, Éric Monfroy:
A Constructive Hybrid Algorithm for Crew Pairing Optimization. AIMSA 2006: 45-55 - [c51]Éric Monfroy, Carlos Castro, Broderick Crawford:
Using Local Search for Guiding Enumeration in Constraint Solving. AIMSA 2006: 56-65 - [c50]Tony Lambert, Carlos Castro, Éric Monfroy, Frédéric Saubion:
Solving the Balanced Academic Curriculum Problem with an Hybridization of Genetic Algorithm and Constraint Propagation. ICAISC 2006: 410-419 - [c49]Tony Lambert, Éric Monfroy, Frédéric Saubion:
A Generic Framework for Local Search: Application to the Sudoku Problem. International Conference on Computational Science (1) 2006: 641-648 - [c48]Broderick Crawford, Carlos Castro, Éric Monfroy:
A Hybrid Ant Algorithm for the Airline Crew Pairing Problem. MICAI 2006: 381-391 - [c47]Stefano Bistarelli, Éric Monfroy, Barry O'Sullivan:
Special track editorial: constraint solving and programming. SAC 2006: 392-393 - 2005
- [c46]Éric Monfroy, Frédéric Saubion, Tony Lambert:
Hybrid CSP Solving. FroCoS 2005: 138-167 - [c45]Tony Lambert, Carlos Castro, Éric Monfroy, María Cristina Riff, Frédéric Saubion:
Hybridization of Genetic Algorithms and Constraint Propagation for the BACP. ICLP 2005: 421-423 - [c44]Carlos Castro, Éric Monfroy, Christian Figueroa, Rafael Meneses:
An Approach for Dynamic Split Strategies in Constraint Solving. MICAI 2005: 162-174 - [c43]Stefano Bistarelli, Éric Monfroy, Barry O'Sullivan:
Editorial: special track on constraint solving and programming. SAC 2005: 364-365 - [c42]Tony Lambert, Éric Monfroy, Frédéric Saubion:
Solving strategies using a hybridization model for local search and constraint propagation. SAC 2005: 398-403 - 2004
- [j5]Éric Monfroy:
Book review: Essentials of Constraint Programming by Thom Frühwirth and Slim Abdennadher, Springer, 2003, hard cover: ISBN 3-540-67623-6, ix + 145 pages. Theory Pract. Log. Program. 4(3): 381-382 (2004) - [c41]Éric Monfroy, Carlos Castro:
A Component Language for Hybrid Solver Cooperations. ADVIS 2004: 192-202 - [c40]Carlos Castro, Éric Monfroy:
Designing Hybrid Cooperations with a Component Language for Solving Optimisation Problems. AIMSA 2004: 447-458 - [c39]Éric Monfroy, Frédéric Saubion, Tony Lambert:
On Hybridization of Local Search and Constraint Propagation. ICLP 2004: 299-313 - [c38]Hervé Deleau, Tony Lambert, Éric Monfroy, Frédéric Saubion:
Itérations chaotiques pour l'hybridation propagation de contraintes/recherche locale. JFPLC 2004 - 2003
- [j4]Lucas Bordeaux, Éric Monfroy:
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. Tech. Sci. Informatiques 22(1): 190-202 (2003) - [c37]Carlos Castro, Éric Monfroy, Christophe Ringeissen:
A Rule Language for Interaction. CSCLP 2003: 154-170 - [c36]Brice Pajot, Éric Monfroy:
Separating Search and Strategy in Solver Cooperations. Ershov Memorial Conference 2003: 401-414 - [c35]Laurent Granvilliers, Éric Monfroy:
Implementing Constraint Propagation by Composition of Reductions. ICLP 2003: 300-314 - [c34]Lucas Bordeaux, Éric Monfroy:
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. JFPLC 2003: 189-202 - [c33]Éric Monfroy, Carlos Castro:
Basic Components for Constraint Solver Cooperations. SAC 2003: 367-374 - [c32]Sebastian Brand, Éric Monfroy:
Deductive Generation of Constraint Propagation Rules. RULE@RDP 2003: 45-60 - [i5]Evgueni Petrov, Éric Monfroy:
Constraint-based analysis of composite solvers. CoRR cs.AI/0302036 (2003) - 2002
- [c31]Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou:
Towards Automated Reasoning on the Properties of Numerical Constraints. International Workshop on Constraint Solving and Constraint Logic Programming 2002: 47-61 - [c30]Lucas Bordeaux, Éric Monfroy:
Beyond NP: Arc-Consistency for Quantified Constraints. CP 2002: 371-386 - [c29]Evgueni Petrov, Éric Monfroy:
Automatic Analysis of Composite Solvers. ICTAI 2002: 276-283 - [c28]Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou:
Raisonnement sur les propriétés de contraintes numériques. JFPLC 2002: 13- - 2001
- [j3]Éric Monfroy:
Control-Driven Constraint Propagation. Appl. Artif. Intell. 15(1): 79-103 (2001) - [j2]Krzysztof R. Apt, Éric Monfroy:
Constraint programming viewed as rule-based programming. Theory Pract. Log. Program. 1(6): 713-750 (2001) - [c27]Laurent Granvilliers, Éric Monfroy:
Composition Operators for Constraint Propagation: An Application to Choco. CP 2001: 600-604 - [c26]Laurent Granvilliers, Éric Monfroy:
A Graphical Interface for Solver Cooperations. Ershov Memorial Conference 2001: 457-467 - [c25]Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou:
Improved bounds on the complexity of kB-consistency. IJCAI 2001: 303-308 - [c24]Laurent Granvilliers, Éric Monfroy, Frédéric Benhamou:
Symbolic-interval cooperation in constraint programming. ISSAC 2001: 150-166 - [c23]Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou:
Amélioration de la complexité des kB-consistances. JFPLC 2001: 207-222 - [p1]Éric Monfroy, Farhad Arbab:
Constraints Solving as the Coordination of Inference Engines. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 399-419 - [i4]Laurent Granvilliers, Éric Monfroy:
Enhancing Constraint Propagation with Composition Operators. CoRR cs.AI/0107002 (2001) - [i3]Krzysztof R. Apt, Roman Barták, Éric Monfroy, Francesca Rossi, Sebastian Brand:
Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints. CoRR cs.PL/0110012 (2001) - 2000
- [c22]Laurent Granvilliers, Éric Monfroy:
Declarative Modelling of Constraint Propagation Strategies. ADVIS 2000: 201-215 - [c21]Carlos Castro, Éric Monfroy:
Basic Operators for Solving Constraints via Collaboration of Solvers. AISC 2000: 142-156 - [c20]Farhad Arbab, Éric Monfroy:
Distributed Splitting of Constraint Satisfaction Problems. COORDINATION 2000: 115-132 - [c19]Laurent Granvilliers, Éric Monfroy:
Constraint Propagation: Between Abstract Models and ad hoc Strategies. CP 2000: 505-509 - [c18]Laurent Granvilliers, Éric Monfroy:
Modélisation déclarative de stratégies de propagation de contraintes. JFPLC 2000: 109-124 - [c17]Éric Monfroy, Freek van Teeseling:
Fixing, Completing and Mapping Information Using Constraints. PACPL 2000: 271-290 - [c16]Éric Monfroy:
A Coordination-based Chaotic Iteration Algorithm for Constraint Propagation. SAC (1) 2000: 262-269 - [e1]Krzysztof R. Apt, Antonis C. Kakas, Éric Monfroy, Francesca Rossi:
New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers. Lecture Notes in Computer Science 1865, Springer 2000, ISBN 3-540-67885-9 [contents] - [i2]Krzysztof R. Apt, Éric Monfroy:
Constraint Programming viewed as Rule-based Programming. CoRR cs.AI/0003076 (2000)
1990 – 1999
- 1999
- [j1]Éric Monfroy, Christophe Ringeissen:
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach. Fundam. Informaticae 39(1-2): 167-187 (1999) - [c15]Christophe Ringeissen, Éric Monfroy:
Generating Propagation Rules for Finite Domains: A Mixed Approach. New Trends in Constraints 1999: 150-172 - [c14]Krzysztof R. Apt, Éric Monfroy:
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains. CP 1999: 58-72 - [c13]Éric Monfroy:
From Solver Collaboration Expressions to Communicating and Coordinated Agents. ECOOP Workshops 1999: 260-261 - [c12]Carlos Castro, Éric Monfroy:
A Control Language for Designing Constraint Solvers. Ershov Memorial Conference 1999: 402-415 - [c11]Éric Monfroy, Jean-Hugues Réty:
Itérations asynchrones: un cadre uniforme pour la propagation de contraintes parallèle et répartie. JFPLC 1999: 123-140 - [c10]Éric Monfroy, Jean-Hugues Réty:
Chaotic Iteration for Distributed Constraint Propagation. SAC 1999: 19-24 - [c9]Éric Monfroy:
Using "Weaker" Functions for Constraint Propagation Over Real Numbers. SAC 1999: 553-559 - [i1]Krzysztof R. Apt, Éric Monfroy:
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains. CoRR cs.AI/9909010 (1999) - 1998
- [c8]Éric Monfroy, Christophe Ringeissen:
SoleX: A Domain-Independent Scheme for Constraint Solver Extension. AISC 1998: 222-233 - [c7]Éric Monfroy:
The Constraint Solver Collaboration Language of BALI. FroCoS 1998: 211-230 - [c6]Éric Monfroy:
A Solver Collaboration in BALI. IJCSLP 1998: 349-350 - [c5]Farhad Arbab, Éric Monfroy:
Using coordination for cooperative constraint solving. SAC 1998: 139-148 - [c4]Éric Monfroy:
An Environment for Designing/Executing Constraint Solver Collaborations. COTIC 1998: 1-22 - 1996
- [b1]Éric Monfroy:
Collaboration de solveurs pour la programmation logique à contraintes. (Solver collaboration for constraint logic programming). Henri Poincaré University, Nancy, France, 1996 - [c3]Éric Monfroy, Michaël Rusinowitch, René Schott:
Implementing non-linear constraints with cooperative solvers. SAC 1996: 63-72 - 1992
- [c2]Éric Monfroy:
Gröbner Bases: Strategies and Applications. AISMC 1992: 133-151 - [c1]Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Éric Monfroy, Mark Wallace:
Contraint Logic Programming - An Informal Introduction. Logic Programming Summer School 1992: 3-35
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint