×

zbMATH — the first resource for mathematics

Freuder, Eugene C.

Compute Distance To:
Author ID: freuder.eugene-c Recent zbMATH articles by "Freuder, Eugene C."
Published as: Freuder, E.; Freuder, Eugene; Freuder, Eugene C.
External Links: MGP
Documents Indexed: 34 Publications since 1978, including 3 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 264 times in 206 Documents Cited by Year
A sufficient condition for backtrack-free search. Zbl 0477.68063
Freuder, Eugene C.
87
1982
Synthesizing constraint expressions. Zbl 0386.68065
Freuder, Eugene C.
51
1978
A sufficient condition for backtrack-bounded search. Zbl 0633.68096
Freuder, Eugene C.
42
1985
Using constraint metaknowledge to reduce arc consistency computation. Zbl 0911.68192
Bessière, Christian; Freuder, Eugene C.; Régin, Jean-Charles
12
1999
Comparative studies of constraint satisfaction and Davis-Putnam algorithms for maximum satisfiability problems. Zbl 0859.68072
Wallace, Richard J.; Freuder, Eugene C.
10
1996
On forward checking for non-binary constraint satisfaction. Zbl 1043.68090
Bessière, Christian; Meseguer, Pedro; Freuder, Eugene C.; Larrosa, Javier
9
2002
Lexicographically-ordered constraint satisfaction problems. Zbl 1191.68632
Freuder, Eugene C.; Heffernan, Robert; Wallace, Richard J.; Wilson, Nic
7
2010
Partial constraint satisfaction. Zbl 0707.68074
Freuder, Eugene C.
6
1989
Constraint-based reasoning. Zbl 0850.68257
Freuder, Eugene C. (ed.); Mackworth, Alan K. (ed.)
5
1994
A cost-based model and algorithms for interleaving solving and elicitation of CSPs. Zbl 1145.68532
Wilson, Nic; Grimes, Diarmuid; Freuder, Eugene C.
4
2007
On forward checking for non-binary constraint satisfaction. Zbl 0957.68104
Bessière, Christian; Meseguer, Pedro; Freuder, Eugene C.; Larrosa, Javier
4
1999
Constraint satisfaction. Zbl 1102.90379
Freuder, Eugene C.; Wallace, Mark
3
2003
Artificial intelligence and Mathematics IX. Selected papers from the 5th international symposium, Fort Lauderdale, FL, USA, January 2–5, 1998. Zbl 0940.00052
Boros, E. (ed.); Franco, J. (ed.); Freuder, E. (ed.); Golumbic, M. (ed.); Greiner, R. (ed.); Mayoraz, E. (ed.)
3
1999
In pursuit of the Holy Grail. Zbl 1315.68063
Freuder, Eugene C.
3
1997
Exploiting structure in constraint satisfaction problems. Zbl 0941.68741
Freuder, Eugene C.
3
1994
Properties of tree convex constraints. Zbl 1183.90441
Zhang, Yuanlin; Freuder, Eugene C.
2
2008
Generating corrective explanations for interactive constraint satisfaction. Zbl 1153.68472
O’Callaghan, Barry; O’Sullivan, Barry; Freuder, Eugene C.
2
2005
Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving. Zbl 1132.68715
Wallace, Richard J.; Freuder, Eugene C.
2
2005
Leveraging the learning power of examples in automated constraint acquisition. Zbl 1152.68540
Bessiere, Christian; Coletta, Remi; Freuder, Eugene C.; O’Sullivan, Barry
2
2004
Completable representations of constraint satisfaction problems. Zbl 0759.90092
Freuder, Eugene C.
2
1991
Interleaving solving and elicitation of constraint satisfaction problems based on expected cost. Zbl 1208.68208
Wilson, Nic; Grimes, Diarmuid; Freuder, Eugene C.
1
2010
Supporting dispatchability in schedules with consumable resources. Zbl 1123.90038
Wallace, Richard J.; Freuder, Eugene C.
1
2005
Simple rules for low-knowledge algorithm selection. Zbl 1094.90554
Beck, J. Christopher; Freuder, Eugene C.
1
2004
Deriving explanations and implications for constraint satisfaction problems. Zbl 1067.68634
Freuder, Eugene C.; Likitvivatanavong, Chavalit; Wallace, Richard J.
1
2001
Collaborative learning for constraint solving. Zbl 1067.68629
Epstein, Susan L.; Freuder, Eugene
1
2001
Lexicographically-ordered constraint satisfaction problems. Zbl 1191.68632
Freuder, Eugene C.; Heffernan, Robert; Wallace, Richard J.; Wilson, Nic
7
2010
Interleaving solving and elicitation of constraint satisfaction problems based on expected cost. Zbl 1208.68208
Wilson, Nic; Grimes, Diarmuid; Freuder, Eugene C.
1
2010
Properties of tree convex constraints. Zbl 1183.90441
Zhang, Yuanlin; Freuder, Eugene C.
2
2008
A cost-based model and algorithms for interleaving solving and elicitation of CSPs. Zbl 1145.68532
Wilson, Nic; Grimes, Diarmuid; Freuder, Eugene C.
4
2007
Generating corrective explanations for interactive constraint satisfaction. Zbl 1153.68472
O’Callaghan, Barry; O’Sullivan, Barry; Freuder, Eugene C.
2
2005
Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving. Zbl 1132.68715
Wallace, Richard J.; Freuder, Eugene C.
2
2005
Supporting dispatchability in schedules with consumable resources. Zbl 1123.90038
Wallace, Richard J.; Freuder, Eugene C.
1
2005
Leveraging the learning power of examples in automated constraint acquisition. Zbl 1152.68540
Bessiere, Christian; Coletta, Remi; Freuder, Eugene C.; O’Sullivan, Barry
2
2004
Simple rules for low-knowledge algorithm selection. Zbl 1094.90554
Beck, J. Christopher; Freuder, Eugene C.
1
2004
Constraint satisfaction. Zbl 1102.90379
Freuder, Eugene C.; Wallace, Mark
3
2003
On forward checking for non-binary constraint satisfaction. Zbl 1043.68090
Bessière, Christian; Meseguer, Pedro; Freuder, Eugene C.; Larrosa, Javier
9
2002
Deriving explanations and implications for constraint satisfaction problems. Zbl 1067.68634
Freuder, Eugene C.; Likitvivatanavong, Chavalit; Wallace, Richard J.
1
2001
Collaborative learning for constraint solving. Zbl 1067.68629
Epstein, Susan L.; Freuder, Eugene
1
2001
Using constraint metaknowledge to reduce arc consistency computation. Zbl 0911.68192
Bessière, Christian; Freuder, Eugene C.; Régin, Jean-Charles
12
1999
On forward checking for non-binary constraint satisfaction. Zbl 0957.68104
Bessière, Christian; Meseguer, Pedro; Freuder, Eugene C.; Larrosa, Javier
4
1999
Artificial intelligence and Mathematics IX. Selected papers from the 5th international symposium, Fort Lauderdale, FL, USA, January 2–5, 1998. Zbl 0940.00052
Boros, E. (ed.); Franco, J. (ed.); Freuder, E. (ed.); Golumbic, M. (ed.); Greiner, R. (ed.); Mayoraz, E. (ed.)
3
1999
In pursuit of the Holy Grail. Zbl 1315.68063
Freuder, Eugene C.
3
1997
Comparative studies of constraint satisfaction and Davis-Putnam algorithms for maximum satisfiability problems. Zbl 0859.68072
Wallace, Richard J.; Freuder, Eugene C.
10
1996
Constraint-based reasoning. Zbl 0850.68257
Freuder, Eugene C. (ed.); Mackworth, Alan K. (ed.)
5
1994
Exploiting structure in constraint satisfaction problems. Zbl 0941.68741
Freuder, Eugene C.
3
1994
Completable representations of constraint satisfaction problems. Zbl 0759.90092
Freuder, Eugene C.
2
1991
Partial constraint satisfaction. Zbl 0707.68074
Freuder, Eugene C.
6
1989
A sufficient condition for backtrack-bounded search. Zbl 0633.68096
Freuder, Eugene C.
42
1985
A sufficient condition for backtrack-free search. Zbl 0477.68063
Freuder, Eugene C.
87
1982
Synthesizing constraint expressions. Zbl 0386.68065
Freuder, Eugene C.
51
1978
all top 5

Cited by 321 Authors

12 Dechter, Rina
10 Cooper, Martin C.
10 Jeavons, Peter G.
8 Bessiere, Christian
8 Freuder, Eugene C.
7 Cohen, David A.
7 Scarcello, Francesco
6 Rossi, Francesca L.
6 Walsh, Toby
6 Wilson, Nic
5 Gottlob, Georg
4 Jégou, Philippe
4 Koubarakis, Manolis
4 Leone, Nicola
4 O’Sullivan, Barry
4 Pearl, Judea
4 Pini, Maria Silvia
4 Venable, Kristen Brent
3 Bantaojai, Thanatporn
3 Faltings, Boi Volkert
3 Gelain, Mirco
3 Greco, Gianluigi
3 Kirousis, Lefteris Miltiades
3 Lecoutre, Christophe
3 Manyà, Felip
3 Milano, Michela
3 Pesch, Erwin
3 Salido, Miguel Angel
3 Stergiou, Kostas
3 Terrioux, Cyril
3 Thilikos, Dimitrios M.
3 Wallace, Mark S.
3 Wallace, Richard J.
3 Wangkeeree, Rabian
3 Zhang, Yuanlin
3 Živný, Stanislav
2 Argelich, Josep
2 Barro, Senén
2 Beldiceanu, Nicolas
2 Ben-Eliyahu, Rachel
2 Caramia, Massimiliano
2 Debruyne, Romuald
2 Dell’Olmo, Paolo
2 Drexl, Andreas
2 El Mouelhi, Achref
2 Fargier, Hélène
2 Félix, Paulo
2 Gent, Ian Philip
2 Grimes, Diarmuid
2 Gyssens, Marc
2 Hooker, John N. jun.
2 Hower, Walter
2 Ibaraki, Toshihide
2 Larrosa, Javier
2 Lee, Shie-Jue
2 Li, Sanjiang
2 Marchetti-Spaccamela, Alberto
2 Marques-Silva, João P.
2 Meiri, Itay
2 Miguel, Ian
2 Nonobe, Koji
2 Petit, Thierry
2 Prosser, Patrick
2 Régin, Jean-Charles
2 Sattar, Abdul
2 Shen, Haiou
2 Szeider, Stefan
2 Tsang, Edward P. K.
2 van Beek, Peter J. L.
2 Van Hentenryck, Pascal
2 Yap, Roland H. C.
2 Yimmuang, Panu
2 Zhang, Hantao
1 Alsinet, Teresa
1 Amroun, Kamal
1 Arangu, Marlene
1 Arbab, Farhad
1 Arbib, Claudio
1 Arnborg, Stefan
1 Artieda, Jorge
1 Atserias, Albert
1 Audemard, Gilles
1 Backofen, Rolf
1 Ballard, Dana H.
1 Bao, Forrest Sheng
1 Barber, Federico
1 Bartolini, Andrea
1 Baruah, Sanjoy K.
1 Bayardo, Roberto J. jun.
1 Beck, J. Christopher
1 Belle, Vaishak
1 Benhamou, Belaid
1 Berkholz, Christoph
1 Bienstock, Daniel
1 Bobrow, Daniel G.
1 Bodirsky, Manuel
1 Bodlaender, Hans L.
1 Boley, Harold
1 Bonifaci, Vincenzo
1 Boussemart, Frédéric
...and 221 more Authors
all top 5

Cited in 47 Serials

71 Artificial Intelligence
16 Constraints
13 Annals of Mathematics and Artificial Intelligence
11 Theoretical Computer Science
8 Annals of Operations Research
6 Journal of Computer and System Sciences
6 European Journal of Operational Research
5 Discrete Applied Mathematics
4 International Journal of Approximate Reasoning
3 Applied Mathematics and Computation
3 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 Information Processing Letters
2 BIT
2 Fuzzy Sets and Systems
2 Computers & Operations Research
2 Journal of Automated Reasoning
2 Journal of Inequalities and Applications
2 Journal of Discrete Algorithms
1 Biological Cybernetics
1 Discrete Mathematics
1 International Journal of General Systems
1 Information Sciences
1 Journal of Computational and Applied Mathematics
1 Naval Research Logistics
1 Networks
1 Operations Research
1 SIAM Journal on Computing
1 OR Spektrum
1 Algorithmica
1 Information and Computation
1 Journal of Global Optimization
1 International Journal of Computer Mathematics
1 Mathematical Programming. Series A. Series B
1 SIAM Journal on Optimization
1 Journal of Heuristics
1 Journal of Combinatorial Optimization
1 Journal of Scheduling
1 International Journal of Applied Mathematics and Computer Science
1 RAIRO. Operations Research
1 Theory and Practice of Logic Programming
1 Computational Intelligence
1 4OR
1 Optimization Letters
1 Logical Methods in Computer Science
1 Journal of Nonlinear Science and Applications
1 Algorithms
1 EURO Journal on Computational Optimization

Citations by Year