Research Profile

Eugene Freuder

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

 ProjectFunding
Body
Start DateEnd DateAward
{Freuder} N Amended 11.09.08Science Foundation of Ireland23-JUL-0131-OCT-06€8,116,971.00
SFI "Employing Artificial Intelligence to Make Constraint Programming Easier to Use for Decision.."Science Foundation of Ireland01-NOV-0630-APR-11€4,325,432.00
CTVR: Initial UCC lead, succeeded by Ken BrownScience Foundation Ireland14-JUL-0430-SEP-09€1,933,367.00
SFI Stokes LectureshipScience Foundation of Ireland01-MAR-0931-DEC-12€559,168.00
ITOBO -Information and Communication Technology for Sustainable and Optimised Building OperationScience Foundation Ireland01-DEC-0730-NOV-12€511,613.00
EI "Embedding Constraint-based decision tools in successful commercial software"Enterprise Irl01-OCT-0630-SEP-09€441,573.00
SFI OIP 2008 - 4C Support Staff CostsScience Foundation of Ireland01-JAN-0831-JAN-10€350,797.00
SFI Industry Research Partnership Supplement to 05/IN/I886Science Foundation of Ireland01-JAN-0831-OCT-10€180,246.00
SFI "OIP 2010 Staff Support"Science Foundation of Ireland01-JAN-1031-DEC-10€161,148.00
[SC/02/137] {Dr Eugene C Fruder} NEnterprise Irl01-OCT-0230-SEP-05€154,500.00
Automated Constraint AcquisitionIrish Research Council01-DEC-0431-MAR-07€110,000.00
Process Design for Efficient SchedulingEnterprise Irl01-JAN-0430-APR-06€106,502.00
Costraint Baset, Energy Cost Efficient SchedulingScience Foundation of Ireland01-DEC-0930-APR-11€83,411.00
IRCSET PD AND/OR Search Strategies for Multi-objective Optimization in Graphical Models Student Radu MarinescuIrish Research Council for Science, Engineering & Technology (IRCSET)30-DEC-0831-JUL-10€83,100.00
Automated Problem Solving in Open Dynamic SystemsIrish Research Council01-APR-0331-MAR-05€83,095.00
[IRCSET SC/2003/82] {Freuder Prof. E} NIrish Research Council for Science, Engineering & Technology (IRCSET)01-OCT-0330-SEP-06€76,707.00
Sustainability FundMiscellaneous01-FEB-1030-JUN-19€48,246.00
Google - An Advanced Meeting Scheduler for Google CalenderFoundation Funded Research22-JAN-0922-JUL-16€38,607.00
Maintaining arc consistency in a distributed constraint networkForeign Industry01-FEB-0631-JAN-07€25,000.00
Gino Software - Load balancing for NoSQL Databases.Foundation Funded Research01-MAR-1101-MAR-12€10,000.00

Publications

Peer Reviewed Journals

 YearPublication
(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

 YearPublication
(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

 YearPublication
(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

 YearTitleAwarding Body
2017Elected member of the Executive Council of the Association for the Advancement of Artificial Intelligence Association for the Advancement of Artificial Intelligence
1999University of Hampshire Research Excellence Award, given to one faculty member annually University of Hampshire Research Excellence Award
2005CP 2005 Honour Session: Eugene C.Freuder and Herve Gallaire CP2005 Honour Session
2011Freuderfest: A celebration of Gene Freuder's Retirement at the 2011 International Conf. on Principles and Practice of Constraint Programming CP 2011
1995Fellow of the Association for the Advancement of Artificial Intelligence Association for the Advancement of Artificial Intelligence
2005Fellow of the American Association for the Advancement of Science. American Association for the Advancement of Science
2002Fellow of the European Coordinating Committee for Artificial Intelligence European Coordinating Committee for Artificial Intelligence
2007Member of the Royal Irish Academy Royal Irish Academy
2009Google Research Award Google
2005Research Excellence Award of the Association for Constraint Programming Association for Constraint Programming
2006An issue of the Constraints journal was dedicated to Prof. Freuder Constraints journal
2012Distinguished Service Award of the Association for Constraint Programming Association for Constraint Programming

Committees

 CommitteeFunctionFrom / 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

 EmployerPositionFrom / To
Cork Constraint Computation Centre, University College Cork, 2001-2011 Director and Research Professor01-JAN-01 / 30-DEC-11
University of New Hampshire Faculty01-JAN-77 / 31-DEC-00
Indiana University Faculty01-JAN-76 / 31-DEC-77

Education

 YearInstitutionQualificationSubject
1967Harvard University B.A.Mathematics
1975Massachusetts Institute of Technology Ph.D.Computer Science

Consultancy

 ClientDescription
Ecora
Senior Technical Advisor
Celcorp
Technical Advisory Board
ILOG
Technical Advisory Board
ThinkSmart
Senior Science Advisor
TreeMetrics
Senior Science Advisor

Journal Activities

 JournalRoleTo / 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.

Contact details

Search profiles by name

Search profiles by topic

School of Computer Science and Information Technology

Scoil na Ríomheolaíochta agus na Teicneolaíochta Faisnéise

School of Computer Science and Information Technology, Western Gateway Building, University College Cork, Western Road, Cork, Ireland

Top