Before MIT, I received my B.A., magna cum laude, from Harvard. After MIT, I taught for many years at the University of New Hampshire, where I established a Constraint Computation Center and received the 1999 Award for Excellence in Research. In 2001 I obtained one of the original Science Foundation Ireland Fellow Awards, and took up a post as Research Professor at University College Cork. There I founded the Cork Constraint Computation Centre (4C), building upon a group established by Professor James Bowen.
I am now an Emeritus Professor and maintain a role in the Insight Centre for Data Analytics, a multi-institutional centre, which 4C merged into at its founding. I am also serving a term as a Councilor of the Association for the Advancement of Artificial Intelligence.
I was the founding Editor-in-Chief of the Constraints journal, and now serve on its Advisory Board. For a number of years I served as chair of the Organizing Committee of the Conference on Principles and Practice of Constraint Programming. I was honored by a special session of the conference and a dedicated issue of the journal. I had the privilege of attending a Freuderfest in 2011.
I was elected a Member of the Royal Irish Academy, and a Fellow of the American Association for the Advancement of Science, the Association for the Advancement of Artificial Intelligence, and the European Coordinating Committee for Artificial Intelligence. I was honored to receive both the Research Excellence Award and the Distinguished Service Award of the Association for Constraint Programming.
In the U.S. my research was supported by the National Science Foundation and NASA. In Ireland, my staff and I received support from Science Foundation Ireland, Enterprise Ireland, the Irish Research Council for Science, Engineering and Technology, the Environmental Protection Agency, the Southern Health Board, the Marine Institute, and from the European Union. My centers obtained funding from over twenty companies. I helped found the CTVR telecommunications research centre and the ITOBO building operation strategic research cluster. In all, I have been involved in raising around 50 million euro from government and industry for scientific research.
I like to say that I am in the business of helping computers help people make better decisions. 4C spun off two start-ups, one of which has been acquired by Cisco, and received two it@cork Leaders Awards for R&D projects with local companies. I have served on the technical advisory boards of Canadian and French companies and as advisor to U.S. and Irish companies.
Biography
For a school science fair in the 50’s, I built a “machine” that played Tic Tac Toe. (Well actually “reverse Tic Tac Toe”.) So naturally I received my Ph.D. at the MIT Artificial Intelligence Lab.Before MIT, I received my B.A., magna cum laude, from Harvard. After MIT, I taught for many years at the University of New Hampshire, where I established a Constraint Computation Center and received the 1999 Award for Excellence in Research. In 2001 I obtained one of the original Science Foundation Ireland Fellow Awards, and took up a post as Research Professor at University College Cork. There I founded the Cork Constraint Computation Centre (4C), building upon a group established by Professor James Bowen.
I am now an Emeritus Professor and maintain a role in the Insight Centre for Data Analytics, a multi-institutional centre, which 4C merged into at its founding. I am also serving a term as a Councilor of the Association for the Advancement of Artificial Intelligence.
I was the founding Editor-in-Chief of the Constraints journal, and now serve on its Advisory Board. For a number of years I served as chair of the Organizing Committee of the Conference on Principles and Practice of Constraint Programming. I was honored by a special session of the conference and a dedicated issue of the journal. I had the privilege of attending a Freuderfest in 2011.
I was elected a Member of the Royal Irish Academy, and a Fellow of the American Association for the Advancement of Science, the Association for the Advancement of Artificial Intelligence, and the European Coordinating Committee for Artificial Intelligence. I was honored to receive both the Research Excellence Award and the Distinguished Service Award of the Association for Constraint Programming.
In the U.S. my research was supported by the National Science Foundation and NASA. In Ireland, my staff and I received support from Science Foundation Ireland, Enterprise Ireland, the Irish Research Council for Science, Engineering and Technology, the Environmental Protection Agency, the Southern Health Board, the Marine Institute, and from the European Union. My centers obtained funding from over twenty companies. I helped found the CTVR telecommunications research centre and the ITOBO building operation strategic research cluster. In all, I have been involved in raising around 50 million euro from government and industry for scientific research.
I like to say that I am in the business of helping computers help people make better decisions. 4C spun off two start-ups, one of which has been acquired by Cisco, and received two it@cork Leaders Awards for R&D projects with local companies. I have served on the technical advisory boards of Canadian and French companies and as advisor to U.S. and Irish companies.
Research Grants
| Project | Funding Body | Start Date | End Date | Award | |
|---|---|---|---|---|---|
| {Freuder} N Amended 11.09.08 | Science Foundation of Ireland | 23-JUL-01 | 31-OCT-06 | €8,116,971.00 | |
| SFI "Employing Artificial Intelligence to Make Constraint Programming Easier to Use for Decision.." | Science Foundation of Ireland | 01-NOV-06 | 30-APR-11 | €4,325,432.00 | |
| CTVR: Initial UCC lead, succeeded by Ken Brown | Science Foundation Ireland | 14-JUL-04 | 30-SEP-09 | €1,933,367.00 | |
| SFI Stokes Lectureship | Science Foundation of Ireland | 01-MAR-09 | 31-DEC-12 | €559,168.00 | |
| ITOBO -Information and Communication Technology for Sustainable and Optimised Building Operation | Science Foundation Ireland | 01-DEC-07 | 30-NOV-12 | €511,613.00 | |
| EI "Embedding Constraint-based decision tools in successful commercial software" | Enterprise Irl | 01-OCT-06 | 30-SEP-09 | €441,573.00 | |
| SFI OIP 2008 - 4C Support Staff Costs | Science Foundation of Ireland | 01-JAN-08 | 31-JAN-10 | €350,797.00 | |
| SFI Industry Research Partnership Supplement to 05/IN/I886 | Science Foundation of Ireland | 01-JAN-08 | 31-OCT-10 | €180,246.00 | |
| SFI "OIP 2010 Staff Support" | Science Foundation of Ireland | 01-JAN-10 | 31-DEC-10 | €161,148.00 | |
| [SC/02/137] {Dr Eugene C Fruder} N | Enterprise Irl | 01-OCT-02 | 30-SEP-05 | €154,500.00 | |
| Automated Constraint Acquisition | Irish Research Council | 01-DEC-04 | 31-MAR-07 | €110,000.00 | |
| Process Design for Efficient Scheduling | Enterprise Irl | 01-JAN-04 | 30-APR-06 | €106,502.00 | |
| Costraint Baset, Energy Cost Efficient Scheduling | Science Foundation of Ireland | 01-DEC-09 | 30-APR-11 | €83,411.00 | |
| IRCSET PD AND/OR Search Strategies for Multi-objective Optimization in Graphical Models Student Radu Marinescu | Irish Research Council for Science, Engineering & Technology (IRCSET) | 30-DEC-08 | 31-JUL-10 | €83,100.00 | |
| Automated Problem Solving in Open Dynamic Systems | Irish Research Council | 01-APR-03 | 31-MAR-05 | €83,095.00 | |
| [IRCSET SC/2003/82] {Freuder Prof. E} N | Irish Research Council for Science, Engineering & Technology (IRCSET) | 01-OCT-03 | 30-SEP-06 | €76,707.00 | |
| Sustainability Fund | Miscellaneous | 01-FEB-10 | 30-JUN-19 | €48,246.00 | |
| Google - An Advanced Meeting Scheduler for Google Calender | Foundation Funded Research | 22-JAN-09 | 22-JUL-16 | €38,607.00 | |
| Maintaining arc consistency in a distributed constraint network | Foreign Industry | 01-FEB-06 | 31-JAN-07 | €25,000.00 | |
| Gino Software - Load balancing for NoSQL Databases. | Foundation Funded Research | 01-MAR-11 | 01-MAR-12 | €10,000.00 |
Publications
Peer Reviewed Journals
| Year | Publication | |
|---|---|---|
| (2018) | 'Progress towards the Holy Grail' Freuder, EC (2018) 'Progress towards the Holy Grail'. Constraints, 23 :158-171 [DOI] [Details] | |
| (2016) | 'Extrapolating from Limited Uncertain Information in Large-Scale Combinatorial Optimization Problems to Obtain Robust Solutions' Climent, L,Wallace, RJ,O'Sullivan, B,Freuder, EC (2016) 'Extrapolating from Limited Uncertain Information in Large-Scale Combinatorial Optimization Problems to Obtain Robust Solutions'. International Journal On Artificial Intelligence Tools, 25 [DOI] [Details] | |
| (2014) | 'Grand challenges for constraint programming' Freuder, EC;O'Sullivan, B (2014) 'Grand challenges for constraint programming'. Constraints, 19 :150-162 [DOI] [Details] | |
| (2010) | 'Lexicographically-ordered constraint satisfaction problems' Freuder, EC; Heffernan, R; Wallace, RJ; Wilson, N; (2010) 'Lexicographically-ordered constraint satisfaction problems'. Constraints, 15 :1-28 [DOI] [Full Text] [Details] | |
| (2010) | 'Interleaving solving and elicitation of constraint satisfaction problems based on expected cost' Wilson, Nic,Grimes, Diarmuid,Freuder, Eugene C (2010) 'Interleaving solving and elicitation of constraint satisfaction problems based on expected cost'. Constraints, 15 (44):540-573 [Details] | |
| (2008) | 'A SPACE-EFFICIENT BACKTRACK-FREE REPRESENTATION FOR CONSTRAINT SATISFACTION PROBLEMS' Beck, JC,Carchrae, T,Freuder, EC,Ringwelski, G; (2008) 'A SPACE-EFFICIENT BACKTRACK-FREE REPRESENTATION FOR CONSTRAINT SATISFACTION PROBLEMS'. International Journal On Artificial Intelligence Tools, 17 :703-730 [Details] | |
| (2008) | 'Properties of tree convex constraints' Zhang, Yuanlin,Freuder, Eugene C (2008) 'Properties of tree convex constraints'. Artificial Intelligence, 172 (1212):1605-1612 [Details] | |
| (2007) | 'Holy grail redux' Freuder, Eugene C (2007) 'Holy grail redux'. Constraint Programming Letters, 1 (11):3-5 [Details] | |
| (2005) | 'Learning to support constraint programmers' Epstein, SL;Freuder, EC;Wallace, RJ (2005) 'Learning to support constraint programmers'. Computational Intelligence, 21 :336-371 [Details] | |
| (2005) | 'Supporting dispatchability in schedules with consumable resources' R. J. Wallace and E. C. Freuder; (2005) 'Supporting dispatchability in schedules with consumable resources'. Journal of Scheduling, 8 (1):7-23 [Details] | |
| (2005) | 'Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving' R. J. Wallace and E. C. Freuder. ; (2005) 'Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving'. Artificial Intelligence, 161 (1-2):209-227 [Details] | |
| (2004) | 'Multi-Agent Constraint Systems with Preferences: Efficiency, Solution Quality, and Privacy Loss' Franzin, MS,Rossi, Francesca,Freuder, Eugene C,Wallace, Richard (2004) 'Multi-Agent Constraint Systems with Preferences: Efficiency, Solution Quality, and Privacy Loss'. Computational Intelligence, 20 (22):264-286 [Details] | |
| (2003) | 'The Goldilocks problem' Hulubei, T,Freuder, EC,Wallace, RJ; (2003) 'The Goldilocks problem'. Ai Edam (Artificial Intelligence For Engineering Design, Analysis and Manufacturing), 17 :3-11 [DOI] [Details] | |
| (2002) | 'Suggestion Strategies for Constraint-Based Matchmaker Agents' Eugene C. Freuder, Richard J. Wallace (2002) 'Suggestion Strategies for Constraint-Based Matchmaker Agents'. International Journal On Artificial Intelligence Tools, 11 (1):3-18 [Details] | |
| (2002) | 'On forward checking for non-binary constraint satisfaction' Bessiere, C,Meseguer, P,Freuder, EC,Larrosa, J; (2002) 'On forward checking for non-binary constraint satisfaction'. Artificial Intelligence, 141 :205-224 [DOI] [Details] | |
| (1999) | 'Using constraint metaknowledge to reduce arc consistency computation' Bessière, Christian,Freuder, Eugene C,Régin, Jean-Charles (1999) 'Using constraint metaknowledge to reduce arc consistency computation'. Artificial Intelligence, 107 (11):125-148 [Details] | |
| (1998) | 'Constraints and agents: Confronting ignorance' Eaton, Peggy S,Freuder, Eugene C,Wallace, Richard J (1998) 'Constraints and agents: Confronting ignorance'. AI Magazine, 19 (22) [Details] | |
| (1997) | 'In pursuit of the holy grail' Freuder, Eugene C (1997) 'In pursuit of the holy grail'. Constraints, 2 (11):57-61 [Details] | |
| (1996) | 'In pursuit of the holy grail' Freuder, Eugene (1996) 'In pursuit of the holy grail'. ACM Computing Surveys (CSUR), 28 (4es4es) [Details] | |
| (1993) | 'A debugging assistant for incompletely specified constraint network knowledge bases' Huard, Suzanne M,Freuder, Eugene C (1993) 'A debugging assistant for incompletely specified constraint network knowledge bases'. International Journal of Expert Systems, 6 (44):419-446 [Details] | |
| (1993) | 'Compiling rules from constraint-based experience' Subramanian, Suresh,Freuder, Eugene C (1993) 'Compiling rules from constraint-based experience'. International Journal of Expert Systems, 6 (44):401-418 [Details] | |
| (1992) | 'Partial constraint satisfaction' Freuder, Eugene C,Wallace, Richard J (1992) 'Partial constraint satisfaction'. Artificial Intelligence, 58 (11):21-70 [Details] | |
| (1985) | 'A sufficient condition for backtrack-bounded search' Freuder, Eugene C (1985) 'A sufficient condition for backtrack-bounded search'. Journal of The ACM, 32 (44):755-761 [Details] | |
| (1985) | 'The complexity of some polynomial network consistency algorithms for constraint satisfaction problems' Mackworth, Alan K and Freuder, Eugene C (1985) 'The complexity of some polynomial network consistency algorithms for constraint satisfaction problems'. Artificial Intelligence, 25 (1):65-74 [Details] | |
| (1982) | 'A sufficient condition for backtrack-free search' Freuder, Eugene C (1982) 'A sufficient condition for backtrack-free search'. Journal of The ACM, 29 (11):24-32 [Details] | |
| (1980) | 'On the knowledge required to label a picture graph' Freuder, Eugene C (1980) 'On the knowledge required to label a picture graph'. Artificial Intelligence, 15 (11):1-17 [Details] | |
| (1978) | 'Synthesizing constraint expressions' Freuder, Eugene C (1978) 'Synthesizing constraint expressions'. Communications of The ACM, 21 (1111):958-966 [Details] | |
| (1976) | 'Affinity: a relative approach to region finding' Freuder, Eugene C (1976) 'Affinity: a relative approach to region finding'. Computer Graphics and Image Processing, 5 (22):254-264 [Details] |
Conference Publications
| Year | Publication | |
|---|---|---|
| (2019) | Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19) Freuder, Eugene C. (2019) Relating the structure of a problem and its explanation Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19) Honolulu, Hawaii, USA, , 27-JAN-19 - 01-FEB-19 , pp.1-5 [Full Text] [Details] | |
| (2017) | AAAI-17 Eugene C. Freuder (2017) Explaining Ourselves: Human-Aware Constraint Reasoning AAAI-17 , pp.4858-4862 [Details] | |
| (2017) | GCAI 2017 Eugene C. Freuder, Richard J. Wallace (2017) Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems GCAI 2017 , pp.51-63 [Details] | |
| (2014) | ICTAI 2014 Laura Climent, Richard J. Wallace, Barry O'Sullivan, Eugene C. Freuder (2014) Extrapolating from Limited Uncertain Information to Obtain Robust Solutions for Large-Scale Optimization Problems ICTAI 2014 , pp.898-905 [Details] | |
| (2011) | SARA 2011 Amanda Swearngin, Berthe Y. Choueiry, Eugene C. Freuder (2011) A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game SARA 2011 [Details] | |
| (2011) | ModRef2011: Tenth International Workshop on Constraint Modelling and Reformulation Swearngin, Amanda,Choueiry, Berthe Y,Freuder, Eugene C (2011) Multi-Dimensional Models Facilitate Automatic Reformulation: The Case Study of the SET Game ModRef2011: Tenth International Workshop on Constraint Modelling and Reformulation [Details] | |
| (2011) | ModRef 2011 Freuder, Eugene C (2011) Dispensable instantiations ModRef 2011 [Details] | |
| (2011) | RECENT ADVANCES IN CONSTRAINTS, CSCLP 2009 Wallace, RJ;Grimes, D;Freuder, EC (2011) Dynamic Constraint Satisfaction Problems: Relations among Search Strategies, Solution Sets and Algorithm Performance RECENT ADVANCES IN CONSTRAINTS, CSCLP 2009 , pp.105-121 [Details] | |
| (2010) | 10th International Workshop on Symmetry in Constraint Satisfaction Problems Karakashian, S; Woodword, R; Choueiry, BY; Prestwich, SD; Freuder, EC; (2010) A Partial Taxonomy of Substitutability and Interchangeability 10th International Workshop on Symmetry in Constraint Satisfaction Problems [Details] | |
| (2010) | Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) Curran, Dara; Freuder, Eugene; Jansen, Thomas; (2010) Incremental evolution of local search heuristics Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) [Details] | |
| (2009) | Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Feldman, Jacob,Freuder, Eugene,Little, James (2009) CP-INSIDE: Embedding constraint-based decision engines in business applications Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems , pp.323-324 [Details] | |
| (2009) | IJCAI 09 Wallace, Richard J,Grimes, Diarmuid,Freuder, Eugene C (2009) Solving Dynamic Constraint Satisfaction Problems by Identifying Stable Features IJCAI 09 [Details] | |
| (2008) | ICAPS 18th, The International Conference on Automatic Planning and Scheduling Jacob Feldman, Eugene Freuder, Leonid Ioffe, James Little, Oscar Manzano (2008) CP-based Social Scheduling ICAPS 18th, The International Conference on Automatic Planning and Scheduling Sydney, Australia, [Details] | |
| (2008) | Integrating business rules and constraint programming technologies for EDM Feldman, Jacob,Freuder, Eugene (2008) Integrating business rules and constraint programming technologies for EDM [Details] | |
| (2008) | AICS 2008 - Proceedings of the 9th Irish Conference on Artificial Intelligence and Cognitive Science Jacob Feldman, Eugene Freuder, Leonid Ioffe, James Little, Oscar Manzano (2008) Advanced Scheduling Plugins for Social Networking Events AICS 2008 - Proceedings of the 9th Irish Conference on Artificial Intelligence and Cognitive Science Cork, Ireland, [Details] | |
| (2007) | Proc. 13th International Conference on Principles and Practice of Constraint Programming (CP2007) Wilson, N, Grimes, D, Freuder, EC; (2007) A Cost-Based Model and Algorithms For Interleaving Solving and Elicitation of CSPs Proc. 13th International Conference on Principles and Practice of Constraint Programming (CP2007) , pp.666-680 [Details] | |
| (2006) | Constraints: The Ties that Bind Freuder, Eugene C (2006) Constraints: The Ties that Bind [Details] | |
| (2005) | AAAI 2005 Lal, Anagh,Choueiry, Berthe Y,Freuder, Eugene C (2005) Neighborhood Interchangeability and Dynamic Bundling for Non-binary CSPs AAAI 2005 [Details] | |
| (2005) | Case-Based Reasoning Research and Development (Procs.\ of the 6th International Conference on Case-Based Reasoning) Cormac Gebruers and Brahim Hnich and Derek Bridge and Eugene Freuder; (2005) Using CBR to Select Solution Strategies in Constraint Programming . In: Hector Mu\~noz-Avila and Francesco Ricci eds. Case-Based Reasoning Research and Development (Procs.\ of the 6th International Conference on Case-Based Reasoning) , pp.222-236 [Details] | |
| (2005) | Learning propagation policies Epstein, Susan,Wallace, Richard,Freuder, Eugene,Li, Xingjian (2005) Learning propagation policies , pp.1-15 [Details] | |
| (2005) | Methods to Learn Abstract Scheduling Models. Principles and Practice of Constraint Programming-CP 2005 Carchrae, Tom,Beck, J Christopher,Freuder, Eugene C (2005) Methods to Learn Abstract Scheduling Models. Principles and Practice of Constraint Programming-CP 2005 , pp.842-842 [Details] | |
| (2005) | CP 2005 O’Callaghan, Barry, O’Sullivan, Barry, Freuder, Eugene C (2005) Generating Corrective Explanations for Interactive Constraint Satisfaction. Principles and Practice of Constraint Programming-CP 2005 . In: Peter van Beek eds. CP 2005 , pp.445-459 [DOI] [Details] | |
| (2005) | Proceedings of Workshop on Supply Chain Management and ICT O'Sullivan B., Brown K., Ferguson A., Freuder E. C. and Schabel M.; (2005) Automated Requirements Elicitation for Supply Chain Management Proceedings of Workshop on Supply Chain Management and ICT Groningen, Netherlands, , 01-NOV-05 - 01-NOV-05 [Details] | |
| (2005) | Proceedings of CP-2005, Springer LNCS O'Callaghan B., O'Sullivan B. and Freuder E. C.; (2005) Generating Corrective Explanations for Interactive Constraint Satisfaction . In: * eds. Proceedings of CP-2005, Springer LNCS *, , 01-OCT-05 - 30-DEC-99 , pp.*-* [Details] | |
| (2005) | Proceedings of IJCAI-2005 Workshop on Configuration O'Sullivan B., Ferguson A. and Freuder E. C.; (2005) A Decision Tree Learning and Constraint Satisfaction Hybrid for Interactive Problem Solving . In: * eds. Proceedings of IJCAI-2005 Workshop on Configuration *, , 01-JUL-05 - 30-DEC-99 , pp.*-* [Details] | |
| (2005) | Corrective explanation for interactive constraint satisfaction O'Sullivan, Barry,O'Callaghan, Barry,Freuder, Eugene C (2005) Corrective explanation for interactive constraint satisfaction [Details] | |
| (2005) | A Decision Tree Learning and Constraint Satisfaction Hybrid for Interactive Problem Solving¿ O’Sullivan, Barry,Ferguson, Alex,Freuder, Eugene C (2005) A Decision Tree Learning and Constraint Satisfaction Hybrid for Interactive Problem Solving¿ , pp.1-6 [Details] | |
| (2004) | Proceedings of the CP-2004 Workshop on CSP Techniques with Immediate Application O'Sullivan B., Ferguson A. and Freuder E. C.; (2004) Boosting Constraint Satisfaction using Decision Trees . In: * eds. Proceedings of the CP-2004 Workshop on CSP Techniques with Immediate Application *, , 01-SEP-04 - 30-DEC-99 , pp.*-* [Details] | |
| (2004) | Backtrack-free search for real-time constraint satisfaction. Principles and Practice of Constraint Programming–CP 2004 Beck, J Christopher,Carchrae, Tom,Freuder, Eugene C,Ringwelski, Georg (2004) Backtrack-free search for real-time constraint satisfaction. Principles and Practice of Constraint Programming–CP 2004 , pp.92-106 [Details] | |
| (2004) | Leveraging the learning power of examples in automated constraint acquisition Bessiere, C.a , Coletta, R.a , Freuder, E.C.b , O'Sullivan, B.b (2004) Leveraging the learning power of examples in automated constraint acquisition , pp.123-137 [Details] | |
| (2004) | INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS Beck, JC;Freuder, EC (2004) Simple rules for low-knowledge algorithm selection INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS , pp.50-64 [Details] | |
| (2004) | Possibilistic reasoning and privacy/efficiency tradeoffs in multi-agent systems. MICAI 2004: Advances in Artificial Intelligence Wallace, Richard J,Freuder, Eugene C,Minca, Marius (2004) Possibilistic reasoning and privacy/efficiency tradeoffs in multi-agent systems. MICAI 2004: Advances in Artificial Intelligence , pp.380-389 [Details] | |
| (2004) | Simple rules for low-knowledge algorithm selection. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Beck, J Christopher,Freuder, Eugene C (2004) Simple rules for low-knowledge algorithm selection. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems , pp.50-64 [Details] | |
| (2004) | Principles and Practice of Constraint Programming - CP 2004 Bessiere, Christian,Coletta, Remi,Freuder, Eugene C,O’Sullivan, Barry (2004) Leveraging the Learning Power of Examples in Automated Constraint Acquisition . In: Mark Wallace eds. Principles and Practice of Constraint Programming - CP 2004 Toronto, , 27-SEP-04 - 01-OCT-04 , pp.123-137 [DOI] [Details] | |
| (2004) | Proceedings of IEEE ICTAI-2004, IEEE Press O'Sullivan B., Ferguson A. and Eugene C. Freuder E. C.; (2004) Boosting Constraint Satisfaction using Decision Trees . In: * eds. Proceedings of IEEE ICTAI-2004, IEEE Press *, , 01-NOV-04 - 30-DEC-99 , pp.*-* [Details] | |
| (2004) | AAAI Fall Symposium Freuder, Eugene C (2004) The Common Ground of Constraint Satisfaction AAAI Fall Symposium [Details] | |
| (2004) | Arc consistency in MAC: a new perspective Likitvivatanavong, Chavalit,Zhang, Yuanlin,Bowen, James,Freuder, Eugene C (2004) Arc consistency in MAC: a new perspective , pp.93-107 [Details] | |
| (2004) | Third Mexican International Conference on Artificial Intelligence Wallace R. J. Freuder E. C. Minca M.; (2004) Possibilistic reasoning and privacy/efficiency tradeoffs in multi-agent systems . In: Monroy R. et al eds. Third Mexican International Conference on Artificial Intelligence Mexico City, Mexico, , 26-APR-04 - 30-APR-04 , pp.380-389 [Details] | |
| (2004) | Conditional interchangeability and substitutability Zhang, Yuanlin,Freuder, Eugene C (2004) Conditional interchangeability and substitutability [Details] | |
| (2004) | Workshop on Constraint Propagation and Implementation Freuder, Eugene C,Zhang, Yuanlin (2004) The Optimistic Principle and Optimistic Pruning: A Preliminary Report Workshop on Constraint Propagation and Implementation [Details] | |
| (2004) | A study of query generation strategies for interactive constraint acquisition. Applications and Science in Soft Computing O’Connell, Sarah,O’Sullivan, Barry,Freuder, Eugene C (2004) A study of query generation strategies for interactive constraint acquisition. Applications and Science in Soft Computing , pp.225-232 [Details] | |
| (2004) | ECAI'04: 16th European Conference on Artificial Intelligence Brown, K. N., Little, J., Creed, P. J. & Freuder, E. C.; (2004) Adversarial Constraint Satisfaction by Game-tree Search . In: * eds. ECAI'04: 16th European Conference on Artificial Intelligence Valencia, Spain, , 23-AUG-04 - 27-AUG-04 , pp.151-155 [Details] | |
| (2004) | Constraint acquisition as semi-automatic modeling Coletta, Remi,Bessiere, Christian,O’Sullivan, Barry,Freuder, Eugene C,O’Connell, Sarah,Quinqueton, Joel (2004) Constraint acquisition as semi-automatic modeling , pp.111-124 [Details] | |
| (2004) | Proceedings of IEEE ICTAI-2004, IEEE Press Bistarelli S., Freuder E. C. and O'Sullivan B.; (2004) Encoding Partial Constraint Satisfaction in the Semiring-based Framework for Soft Constraints . In: * eds. Proceedings of IEEE ICTAI-2004, IEEE Press *, , 01-NOV-04 - 30-DEC-99 , pp.*-* [Details] | |
| (2003) | Principles and Practice of Constraint Programming – CP 2003, 9th International Conference O’Callaghan, Barry,Freuder, Eugene C,O’Sullivan, Barry (2003) Useful Explanations . In: Francesa Rossi eds. Principles and Practice of Constraint Programming – CP 2003, 9th International Conference Kinsale, , 29-SEP-03 - 03-OCT-03 , pp.988-988 [DOI] [Details] | |
| (2003) | Interactive constraint acquisition for concurrent engineering O’Sullivan, Barry,O’Connell, Sarah,Freuder, Eugene C (2003) Interactive constraint acquisition for concurrent engineering [Details] | |
| (2003) | PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS Sabin, M;Freuder, EC;Wallace, RJ (2003) Greater efficiency for conditional constraint satisfaction PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS , pp.649-663 [Details] | |
| (2003) | Satisfaction guaranteed Freuder, Eugene C,Carchrae, Tom,Beck, J Christopher (2003) Satisfaction guaranteed [Details] | |
| (2003) | Game-based CSP Little, James,Freuder, Eugene,Creed, Paidi (2003) Game-based CSP [Details] | |
| (2003) | Proceedings of CP-2003 Coletta R., Bessiere C., O'Sullivan B., Freuder E.C., O'Connell S., Quinqueton J.; (2003) Semi-Automatic Modeling by Constraint Acquisition (Short Paper) . In: Springer LNCS 2833 eds. Proceedings of CP-2003 Kinsale, Co. Cork, Ireland, , 01-JAN-03 - 30-DEC-99 , pp.*-* [Details] | |
| (2003) | Useful explanations O'Callaghan, B., Freuder, E.C., O'Sullivan, B. (2003) Useful explanations [Details] | |
| (2003) | Proceedings of the ACM Symposium on Document Engineering Purvis L., Harrington S., O'Sullivan B., Freuder E.C.; (2003) Creating Personalized Documents: An Optimization Approach . In: * eds. Proceedings of the ACM Symposium on Document Engineering Grenoble, France, , 01-NOV-03 - 30-DEC-99 , pp.*-* [Details] | |
| (2003) | Proceedings of the Second International Workshop on Modelling and Reformulating Constraint Satisfaction Problems Coletta R., Bessiere C., O'Sullivan B., Freuder E. C., O'Connell S., Quinqueton J.; (2003) Semi-Automatic Modeling by Constraint Acquisition . In: * eds. Proceedings of the Second International Workshop on Modelling and Reformulating Constraint Satisfaction Problems Kinsale, Co. Cork, Ireland, , 01-SEP-03 - 30-DEC-99 , pp.*-* [Details] | |
| (2003) | Case-Based Reasoning to Enhance Diagnosis and CSP Model Debugging in Interoperability Testing: ADIOP Sqalli, Mohammed H,Freuder, Eugene C (2003) Case-Based Reasoning to Enhance Diagnosis and CSP Model Debugging in Interoperability Testing: ADIOP , pp.424-430 [Details] | |
| (2003) | Proceedings of the 9th International Conference on Concurrent Enterprising O'Sullivan B., O'Connell S., Freuder E.C.; (2003) Interactive Constraint Acquisition for Concurrent Engineering . In: * eds. Proceedings of the 9th International Conference on Concurrent Enterprising *, , 01-MAY-03 - 30-DEC-99 , pp.*-* [Details] | |
| (2003) | Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, CP 2003 Coletta, Remi,Bessiere, Christian,O’Sullivan, Barry,Freuder, Eugene C,O’Connell, Sarah,Quinqueton, Joel (2003) Semi-automatic Modeling by Constraint Acquisition . In: Francesca Rossi eds. Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, CP 2003 Kinsale, , 29-SEP-03 - 03-OCT-03 , pp.812-816 [DOI] [Details] | |
| (2003) | Principles and Practice of Constraint Programming–CP 2003 Sabin, Mihaela,Freuder, Eugene C,Wallace, Richard J (2003) Greater efficiency for conditional constraint satisfaction Principles and Practice of Constraint Programming–CP 2003 , pp.649-663 [Details] | |
| (2003) | Ordinal constraint satisfaction Freuder, Eugene C,Wallace, Richard J,Heffernan, Robert (2003) Ordinal constraint satisfaction [Details] | |
| (2003) | Principles and Practice of Constraint Programming – CP 2003, 9th International Conference, CP 2003 Duggan, Moyra,O’Sullivan, Barry,Freuder, Eugene C (2003) Interactive Tradeoff Generation . In: Francesca Rossi eds. Principles and Practice of Constraint Programming – CP 2003, 9th International Conference, CP 2003 Kinsale, , 29-SEP-03 - 03-OCT-03 , pp.970-970 [DOI] [Details] | |
| (2003) | Using Case-Based Reasoning to Write Constraint Programs James Little, Cormac Gebruers, Derek Bridge and Eugene Freuder; (2003) Using Case-Based Reasoning to Write Constraint Programs [Details] | |
| (2003) | Principles and Practice of Constraint Programming – CP 2003, 9th International Conference, CP 2003 O’Connell, Sarah,O’Sullivan, Barry,Freuder, Eugene C (2003) Teacher and Learner Profiles for Constraint Acquisition . In: Francesca Rossi eds. Principles and Practice of Constraint Programming – CP 2003, 9th International Conference, CP 2003 Kinsale, , 29-SEP-03 - 03-OCT-03 , pp.989-989 [DOI] [Details] | |
| (2003) | Advances in Soft Computing O'Connell S., O'Sullivan B., Freuder E. C.; (2003) A Study of Query Generation Strategies for Interactive Constraint AcquisitionApplications and Science in Soft Computing, Advances in Soft Computing Series, Springer Verlag Advances in Soft Computing , pp.*-* [Details] | |
| (2003) | Teacher and learner profiles for constraint acquisition O'Connell, S., O'Sullivan, B., Freuder, E.C. (2003) Teacher and learner profiles for constraint acquisition [Details] | |
| (2003) | Recent Advances in Constraints Freuder, Eugene C,Likitvivatanavong, Chavalit,Moretti, Manuela,Rossi, Francesca,Wallace, Richard J (2003) Computing explanations and implications in preference-based configurators Recent Advances in Constraints , pp.76-92 [Details] | |
| (2002) | Multi-agent meeting scheduling with preferences: efficiency, privacy loss, and solution quality Franzin, Maria Sole,Freuder, EC,Rossi, F,Wallace, R (2002) Multi-agent meeting scheduling with preferences: efficiency, privacy loss, and solution quality [Details] | |
| (2002) | Query generation for interactive constraint acquisition O’Connell, Sarah,O’Sullivan, Barry,Freuder, Eugene C (2002) Query generation for interactive constraint acquisition , pp.295-300 [Details] | |
| (2002) | Meeting scheduling with preferences with limited comparability: Effects of agent knowledge Wallace, Richard J,Freuder, Eugene C (2002) Meeting scheduling with preferences with limited comparability: Effects of agent knowledge , pp.107-114 [Details] | |
| (2002) | Strategies for interactive constraint acquisition O’Connell, Sarah,O’Sullivan, Barry,Freuder, Eugene C (2002) Strategies for interactive constraint acquisition , pp.62-76 [Details] | |
| (2002) | Debugging constraint models with metamodels and metaknowledge Freuder, Eugene C,Wallace, Richard J,Nordlander, Tomas E (2002) Debugging constraint models with metamodels and metaknowledge [Details] | |
| (2002) | International Workshop on Reformulating Constraint Satisfaction Problems, Workshop Programme of the 8th International Conference on Principles and Practice of Constraint Programming James Little and Cormac Gebruers and Derek Bridge and Eugene Freuder; (2002) Capturing Constraint Programming Experience: A Case-Based Approach International Workshop on Reformulating Constraint Satisfaction Problems, Workshop Programme of the 8th International Conference on Principles and Practice of Constraint Programming [Details] | |
| (2002) | CP-02 Workshop on User-Interaction in Constraint Satisfaction Eighth International Conference on Principles and Practice of Constraint Programming - CP 2002 O'Connell S., O'Sullivan B., Freuder E.C.; (2002) Strategies for Interactive Constraint Acquisition . In: * eds. CP-02 Workshop on User-Interaction in Constraint Satisfaction Eighth International Conference on Principles and Practice of Constraint Programming - CP 2002 Ithaca, New York, , 01-SEP-02 - 30-DEC-99 , pp.*-* [Details] | |
| (2002) | The adaptive constraint engine. Principles and Practice of Constraint Programming-CP 2002 Epstein, Susan L,Freuder, Eugene C,Wallace, Richard,Morozov, Anton,Samuels, Bruce (2002) The adaptive constraint engine. Principles and Practice of Constraint Programming-CP 2002 , pp.525-540 [Details] | |
| (2002) | International Workshop on Reformulating Constraint Satisfaction Problems, Workshop Programme of the Eight International Conference on Principles and Practice of Constraint Programming Little J., Gebruers C., Bridge D., Freuder E.C.; (2002) Capturing Constraint Programming Experience: A Case-Based Approach . In: A.M. Frisch eds. International Workshop on Reformulating Constraint Satisfaction Problems, Workshop Programme of the Eight International Conference on Principles and Practice of Constraint Programming *, , 01-JAN-02 - 30-DEC-99 , pp.*-* [Details] | |
| (2002) | Capturing constraint programming experience: A case-based approach Little, James,Gebruers, Cormac,Bridge, Derek,Freuder, Eugene (2002) Capturing constraint programming experience: A case-based approach [Details] | |
| (2002) | Proceedings of the 4th International Conference on Recent Advances in Soft Computing - RASC-2002 O'Connell S., O'Sullivan B., Freuder E.C.; (2002) Query Generation for Interactive Constraint Acquisition . In: ISBN:1-84233-0764 eds. Proceedings of the 4th International Conference on Recent Advances in Soft Computing - RASC-2002 *, , 01-DEC-02 - 30-DEC-99 , pp.295-300 [Details] | |
| (2002) | Constraint-based multi-agent meeting scheduling: Effects of agent heterogeneity on performance and privacy loss Wallace, Richard J,Freuder, Eugene (2002) Constraint-based multi-agent meeting scheduling: Effects of agent heterogeneity on performance and privacy loss , pp.176-182 [Details] | |
| (2002) | ERCIM workshop Moretti, M,Rossi, F,Freuder, EC,Likitvivatanavong, C,Wallace, RJ (2002) Explanations and optimization in preference-based configurators ERCIM workshop [Details] | |
| (2001) | Principles and Practice of Constraint Programming—CP 2001 Freuder, Eugene C,O’Sullivan, Barry (2001) Generating Tradeoffs for Interactive Constraint-Based Configuration . In: Toby Walsh eds. Principles and Practice of Constraint Programming—CP 2001 Cyprus, , 26-NOV-01 - 01-DEC-01 , pp.590-594 [DOI] [Details] | |
| (2001) | Collaborative learning for constraint solving. Principles and Practice of Constraint Programming—CP 2001 Epstein, Susan L,Freuder, Eugene C (2001) Collaborative learning for constraint solving. Principles and Practice of Constraint Programming—CP 2001 , pp.46-60 [Details] | |
| (2001) | Privacy/efficiency tradeoffs in distributed meeting scheduling by constraint-based agents Freuder, Eugene C,Minca, Marius,Wallace, Richard J (2001) Privacy/efficiency tradeoffs in distributed meeting scheduling by constraint-based agents , pp.63-72 [Details] | |
| (2001) | Principles and Practice of Constraint Programming—CP 2001 Freuder, Eugene C,Likitvivatanavong, Chavalit,Wallace, Richard J (2001) Deriving explanations and implications for constraint satisfaction problems Principles and Practice of Constraint Programming—CP 2001 , pp.585-589 [Details] | |
| (2001) | Modeling and generating tradeoffs for constraintbased configuration Freuder, E,O’Sullivan, Barry (2001) Modeling and generating tradeoffs for constraintbased configuration , pp.38-44 [Details] | |
| (2001) | IJCAI-01 Workshop on Configuration, Seventeenth International Joint Conference on Artificial Intelligence Freuder E.C., O'Sullivan, B.; (2001) Modeling and Generating Tradeoffs for Constraint-Based Configuration . In: * eds. IJCAI-01 Workshop on Configuration, Seventeenth International Joint Conference on Artificial Intelligence Seattle, Washington, USA, , 01-AUG-01 - 30-DEC-99 , pp.*-* [Details] | |
| (2001) | Interactive constraint acquisition O’Sullivan, Barry,Freuder, Eugene C,O’Connell, Sarah (2001) Interactive constraint acquisition [Details] | |
| (2001) | Explanations for whom Wallace, Richard J,Freuder, Eugene C (2001) Explanations for whom [Details] | |
| (2001) | Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001 Freuder E.C., O'Sullivan B.; (2001) Generating Tradeoffs for Interactive Constraint-Based configuration (Short paper) . In: * eds. Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001 Paphos, Cyprus, , 01-NOV-01 - 30-DEC-99 , pp.590-594 [Details] | |
| (2001) | Explanation and implication for configuration problems Freuder, Eugene C,Likitvivatanavong, Chavalit,Wallace, Richard J (2001) Explanation and implication for configuration problems [Details] | |
| (2001) | Using Constraint Technology to Diagnose Configuration Errors in Networks Managed with SPECTRUM Sabin, Mihaela,Russell, Robert,Freuder, Eugene,Miftode, Ioan (2001) Using Constraint Technology to Diagnose Configuration Errors in Networks Managed with SPECTRUM [Details] | |
| (2001) | CP-01 Workshop on User-Interaction in Constraint Satisfaction, Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001 Freuder E.C., O'Sullivan B.; (2001) Modeling and Generating Tradeoffs for Constraint-Based Configuration . In: * eds. CP-01 Workshop on User-Interaction in Constraint Satisfaction, Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001 Paphos, Cyprus, , 01-DEC-01 - 30-DEC-99 , pp.*-* [Details] | |
| (2001) | CP-01 Workshop on User-Interaction in Constraint Satisfaction, Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001 O'Sullivan B., Freuder E.C., O'Connell S.; (2001) Interactive Constraint Acquisition . In: * eds. CP-01 Workshop on User-Interaction in Constraint Satisfaction, Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001 Paphos, Cyprus, , 01-DEC-01 - 30-DEC-99 , pp.*-* [Details] | |
| (2000) | Workshop at AAAI Wallace, Richard J,Freuder, Eugene C (2000) Building dispatchable networks involving consumable resources within the HSTS framework Workshop at AAAI , pp.54-60 [Details] | |
| (2000) | A case study in explanation and implication Freuder, Eugene C,Likitvivatanavong, Chavalit,Wallace, Richard J (2000) A case study in explanation and implication [Details] | |
| (1999) | Workshop AAAI 1999 Sabin, Mihaela,Freuder, Eugene C (1999) Network Service Management with Constraint Technology Workshop AAAI 1999 [Details] | |
| (1999) | CP'99 Wallace, Richard J,Freuder, Eugene C (1999) Local Failure vs. Bayesian Methods for Finding Stable Solutions to Dynamic Constraint Satisfaction Problems CP'99 [Details] | |
| (1999) | Survey of applications integrating constraint satisfaction and case-based reasoning Sqalli, Mohammed H,Purvis, Lisa,Freuder, Eugene C (1999) Survey of applications integrating constraint satisfaction and case-based reasoning [Details] | |
| (1999) | On forward checking for non-binary constraint satisfaction. Principles and Practice of Constraint Programming–CP’99 Bessière, Christian,Meseguer, Pedro,Freuder, Eugene C,Larrosa, Javier (1999) On forward checking for non-binary constraint satisfaction. Principles and Practice of Constraint Programming–CP’99 , pp.88-102 [Details] | |
| (1999) | Representing and coping with recurrent change in dynamic constraint satisfaction problems Wallace, Richard J,Freuder, Eugene C (1999) Representing and coping with recurrent change in dynamic constraint satisfaction problems [Details] | |
| (1999) | Ninth International Conference on Principles and Practice of Constraint Programming Sabin M. Freuder E. Wallace R.; (1999) Greater efficiency for conditional constraint satisfaction . In: Van Hentenryck P eds. Ninth International Conference on Principles and Practice of Constraint Programming Kinsale, Ireland, , 30-DEC-99 - 30-DEC-99 , pp.649-663 [Details] | |
| (1999) | Matchmaker agents for electronic commerce Freuder, E,Wallace, R (1999) Matchmaker agents for electronic commerce [Details] | |
| (1999) | Optimization methods for constraint resource problems Sabin, Daniel,Freuder, E,Hall, Kingsbury (1999) Optimization methods for constraint resource problems , pp.83-89 [Details] | |
| (1999) | The goldilocks problem. Principles and Practice of Constraint Programming–CP’99 Hulubei, Tudor,Freuder, Eugene C (1999) The goldilocks problem. Principles and Practice of Constraint Programming–CP’99 , pp.234-245 [Details] | |
| (1998) | Suggestion strategies for constraint-based matchmaker agents. Principles and Practice of Constraint Programming—CP98 Freuder, Eugene C,Wallace, Richard J (1998) Suggestion strategies for constraint-based matchmaker agents. Principles and Practice of Constraint Programming—CP98 , pp.192-204 [Details] | |
| (1998) | Constraint-based strategies for matchmakers Freuder, Eugene C,Wallace, Richard J (1998) Constraint-based strategies for matchmakers , pp.47-50 [Details] | |
| (1998) | Diagnosing interoperability problems by enhancing constraint satisfaction with case-based reasoning Sqalli, Mohammed H,Freuder, Eugene C (1998) Diagnosing interoperability problems by enhancing constraint satisfaction with case-based reasoning , pp.266-273 [Details] | |
| (1998) | Stable solutions for dynamic constraint satisfaction problems. Principles and Practice of Constraint Programming—CP98 Wallace, Richard J,Freuder, Eugene C (1998) Stable solutions for dynamic constraint satisfaction problems. Principles and Practice of Constraint Programming—CP98 , pp.447-461 [Details] | |
| (1998) | CBR support for CSP modeling of interoperability testing Sqalli, Mohammed H,Freuder, Eugene C (1998) CBR support for CSP modeling of interoperability testing [Details] | |
| (1998) | Detecting and resolving inconsistency and redundancy in conditional constraint satisfaction problems Sabin, Mihaela,Freuder, Eugene C (1998) Detecting and resolving inconsistency and redundancy in conditional constraint satisfaction problems [Details] | |
| (1998) | Integration of CSP and CBR to compensate for incompleteness and incorrectness of models Sqalli, Mohammed H,Freuder, Eugene C (1998) Integration of CSP and CBR to compensate for incompleteness and incorrectness of models [Details] | |
| (1997) | Network Management V Sabin, Mihaela,Russell, Robert D,Freuder, Eugene C (1997) Generating diagnostic tools for network fault management Network Management V , pp.700-711 [Details] | |
| (1997) | Compromise strategies for constraint agents Freuder, Eugene,Eaton, P (1997) Compromise strategies for constraint agents [Details] | |
| (1997) | Constraint-based agents: Assistance, cooperation, compromise Eaton, P,Freuder, E,Wallace, R,Center, Constraint Computation (1997) Constraint-based agents: Assistance, cooperation, compromise , pp.106-117 [Details] | |
| (1996) | Automated formulation of constraint satisfaction problems Sabin, Mihaela,Freuder, Eugene C (1996) Automated formulation of constraint satisfaction problems , pp.1407-1407 [Details] | |
| (1996) | Heuristic methods for over-constrained constraint satisfaction problems. Over-Constrained Systems Wallace, Richard J,Freuder, Eugene C (1996) Heuristic methods for over-constrained constraint satisfaction problems. Over-Constrained Systems , pp.207-216 [Details] | |
| (1996) | Partial constraint satisfaction. Over-Constrained Systems Freuder, Eugene C,Wallace, Richard J (1996) Partial constraint satisfaction. Over-Constrained Systems , pp.63-110 [Details] | |
| (1996) | Configuration as composite constraint satisfaction Sabin, Daniel,Freuder, Eugene C (1996) Configuration as composite constraint satisfaction , pp.153-161 [Details] | |
| (1996) | Automated construction of Constraint-Based Diagnostician Sabin, Mihaela,Freuder, Eugene C (1996) Automated construction of Constraint-Based Diagnostician [Details] | |
| (1996) | Constraint-Based Modeling: From Diagnosis and Configuration to Network Management Sabin, Mihaela,Freuder, Eugene C,Russell, Robert D (1996) Constraint-Based Modeling: From Diagnosis and Configuration to Network Management [Details] | |
| (1995) | Interchangeability supports abstraction and reformulation for constraint satisfaction Freuder, Eugene C,Sabin, Daniel (1995) Interchangeability supports abstraction and reformulation for constraint satisfaction [Details] | |
| (1995) | A disjunctive decomposition control schema for constraint satisfaction Freuder, Eugene C,Hubbe, Paul D (1995) A disjunctive decomposition control schema for constraint satisfaction , pp.319-335 [Details] | |
| (1995) | Using inference to reduce arc consistency computation Freuder, Eugene C (1995) Using inference to reduce arc consistency computation [Details] | |
| (1995) | Constraint Processing Freuder, Eugene C (1995) Using metalevel constraint knowledge to reduce constraint checking Constraint Processing , pp.171-184 [Details] | |
| (1995) | IJCAI-95 Dechtery, Rina,Ginsbergz, Matthew L,Selman, Bart,Tsang, Edward (1995) Systematic versus stochastic constraint satisfaction IJCAI-95 [Details] | |
| (1995) | A constraint-based approach to diagnosing software problems in computer networks. Principles and Practice of Constraint Programming—CP'95 Sabin, Daniel,Sabin, Mihaela,Russell, Robert D,Freuder, Eugene C (1995) A constraint-based approach to diagnosing software problems in computer networks. Principles and Practice of Constraint Programming—CP'95 , pp.463-480 [Details] | |
| (1995) | A constraint-based approach to diagnosing configuration problems Sabin, Daniel,Sabin, M,Russell, Robert D,Freuder, Eugene C (1995) A constraint-based approach to diagnosing configuration problems [Details] | |
| (1995) | Constraint Processing Freuder, Eugene C (1995) The many paths to satisfaction Constraint Processing , pp.103-119 [Details] | |
| (1994) | Inconsistency and redundancy do not imply irrelevance Freuder, Eugene C,Hubbe, Paul D,Sabin, Daniel (1994) Inconsistency and redundancy do not imply irrelevance [Details] | |
| (1994) | A constraint-based approach to diagnosing distributed software systems Sabin, Daniel,Sabin, Mihaela,Russell, R,Freuder, E (1994) A constraint-based approach to diagnosing distributed software systems [Details] | |
| (1994) | Constraint Programming Freuder, Eugene C (1994) Exploiting structure in constraint satisfaction problems Constraint Programming , pp.51-74 [Details] | |
| (1994) | Contradicting conventional wisdom in constraint satisfaction Freuder, EC,Sabin, D (1994) Contradicting conventional wisdom in constraint satisfaction [Details] | |
| (1994) | Contradicting conventional wisdom in constraint satisfaction. Principles and Practice of Constraint Programming Sabin, Daniel,Freuder, Eugene C (1994) Contradicting conventional wisdom in constraint satisfaction. Principles and Practice of Constraint Programming , pp.10-20 [Details] | |
| (1993) | Using inferred disjunctive constraints to decompose constraint satisfaction problems Freuder, Eugene C,Hubbe, Paul D (1993) Using inferred disjunctive constraints to decompose constraint satisfaction problems , pp.254-261 [Details] | |
| (1993) | AAAI-93 Wallace, Richard J,Freuder, Eugene C (1993) Conjunctive Width al Constraint Satisfaction AAAI-93 [Details] | |
| (1993) | Proc. of the 1993 IEEE Int.! Conf. on Tools with AI, Boston, Massachusetts, Nov. 1993 Tools for Constraint Satisfaction Freuder, Eugene C (1993) Proc. of the 1993 IEEE Int.! Conf. on Tools with AI, Boston, Massachusetts, Nov. 1993 Tools for Constraint Satisfaction [Details] | |
| (1992) | Ordering heuristics for arc consistency algorithms Wallace, Richard J,Freuder, Eugene Charles (1992) Ordering heuristics for arc consistency algorithms , pp.163-163 [Details] | |
| (1992) | An efficient cross product representation of the constraint satisfaction problem search space Hubbe, Paul D,Freuder, Eugene C (1992) An efficient cross product representation of the constraint satisfaction problem search space , pp.421-427 [Details] | |
| (1988) | Search in Artificial Intelligence Freuder, Eugene C (1988) Backtrack-free and backtrack-bounded search Search in Artificial Intelligence , pp.343-369 [Details] |
Book Chapters
| Year | Publication | |
|---|---|---|
| (2014) | '14. Constraint Programming' Freuder, Eugene C,Wallace, Mark (2014) '14. Constraint Programming' In: Search Methodologies: Introductory Tutorials in Optimization and Decision Support Techniques. Germany: Springer. [Details] | |
| (2006) | 'Constraint Satisfaction: An Emerging Paradigm' Freuder, EC;Mackworth, AK (2006) 'Constraint Satisfaction: An Emerging Paradigm' In: HANDBOOK OF CONSTRAINT PROGRAMMING. AMSTERDAM: ELSEVIER SCIENCE BV. [Details] | |
| (2003) | 'Constraint satisfaction' Freuder, Eugene C,Wallace, Mark (2003) 'Constraint satisfaction' In: Handbook of Metaheuristics. US: Springer. [Details] |
Professional Activities
Honours and Awards
| Year | Title | Awarding Body | |
|---|---|---|---|
| 2017 | Elected member of the Executive Council of the Association for the Advancement of Artificial Intelligence | Association for the Advancement of Artificial Intelligence | |
| 1999 | University of Hampshire Research Excellence Award, given to one faculty member annually | University of Hampshire Research Excellence Award | |
| 2005 | CP 2005 Honour Session: Eugene C.Freuder and Herve Gallaire | CP2005 Honour Session | |
| 2011 | Freuderfest: A celebration of Gene Freuder's Retirement at the 2011 International Conf. on Principles and Practice of Constraint Programming | CP 2011 | |
| 1995 | Fellow of the Association for the Advancement of Artificial Intelligence | Association for the Advancement of Artificial Intelligence | |
| 2005 | Fellow of the American Association for the Advancement of Science. | American Association for the Advancement of Science | |
| 2002 | Fellow of the European Coordinating Committee for Artificial Intelligence | European Coordinating Committee for Artificial Intelligence | |
| 2007 | Member of the Royal Irish Academy | Royal Irish Academy | |
| 2009 | Google Research Award | ||
| 2005 | Research Excellence Award of the Association for Constraint Programming | Association for Constraint Programming | |
| 2006 | An issue of the Constraints journal was dedicated to Prof. Freuder | Constraints journal | |
| 2012 | Distinguished Service Award of the Association for Constraint Programming | Association for Constraint Programming |
Committees
| Committee | Function | From / To | |
|---|---|---|---|
| Science Foundation Ireland ICT Advisory Board | Committee Member | / | |
| 2nd International Conference on Principles and Practice of Constraint Programming | Programme Chair | / | |
| Academic Council Research Committee | Coommittee Member | / | |
| Program Committee, European Conference on Artificial Intelligence | Committee Member | / | |
| Advisory Committee, International Joint Conference on Artificial Intelligence | Committee Member | / | |
| Senior Program Committee, Association for the Advancement of Artificial Intelligence conference | Committee Member | / | |
| Organizing Committee, International Conferences on Principles and Practice of Constraint Programming | Executive Chair | / |
Employment
| Employer | Position | From / To | |
|---|---|---|---|
| Cork Constraint Computation Centre, University College Cork, 2001-2011 | Director and Research Professor | 01-JAN-01 / 30-DEC-11 | |
| University of New Hampshire | Faculty | 01-JAN-77 / 31-DEC-00 | |
| Indiana University | Faculty | 01-JAN-76 / 31-DEC-77 |
Education
| Year | Institution | Qualification | Subject | |
|---|---|---|---|---|
| 1967 | Harvard University | B.A. | Mathematics | |
| 1975 | Massachusetts Institute of Technology | Ph.D. | Computer Science |
Consultancy
| Client | Description | |
|---|---|---|
| Ecora | ||
| Celcorp | ||
| ILOG | ||
| ThinkSmart | ||
| TreeMetrics |
Journal Activities
| Journal | Role | To / From | |
|---|---|---|---|
| Ieee Intelligent Systems | Guest Editor | - | |
| Ai Magazine | Member of Editorial Board | - | |
| Constraints | Member of Advisory Board | - | |
| Artificial Intelligence | Guest Editor | - | |
| Journal Of Artificial Intelligence Research | Member of Editorial Board | - | |
| Constraints | Editor | - | |
| Constraints | Guest Editor | - |
Other Activities
| Description | |
|---|---|
Edited books published by Springer, MIT Press, and the American Mathematical Society. |