×

zbMATH — the first resource for mathematics

Frisch, Alan M.

Compute Distance To:
Author ID: frisch.alan-m Recent zbMATH articles by "Frisch, Alan M."
Published as: Frisch, Alan; Frisch, Alan M.
External Links: MGP
Documents Indexed: 17 Publications since 1989, including 2 Books

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 117 times in 109 Documents Cited by Year
Anytime deduction for probabilistic logic. Zbl 0809.03016
Frisch, Alan M.; Haddawy, Peter
35
1994
Essence: A constraint language for specifying combinatorial problems. Zbl 1147.68424
Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian
16
2008
The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning. Zbl 0736.68071
Frisch, Alan M.
16
1991
Propagation algorithms for lexicographic ordering constraints. Zbl 1131.68521
Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby
7
2006
Constraints for breaking more row and column symmetries. Zbl 1273.68075
Frisch, Alan M.; Jefferson, Chris; Miguel, Ian
7
2003
A general framework for sorted deduction: Fundamental results on hybrid reasoning. Zbl 0711.03006
Frisch, Alan M.
7
1989
The temporal knapsack problem and its solution. Zbl 1133.68425
Bartlett, Mark; Frisch, Alan M.; Hamadi, Youssef; Miguel, Ian; Tarim, S. Armagan; Unsworth, Chris
6
2005
A general framework for modal deduction. Zbl 0765.68172
Frisch, Alan M.; Scherl, Richard B.
6
1991
CGRASS: A system for transforming constraint satisfaction problems. Zbl 1023.68668
Frisch, Alan M.; Miguel, Ian; Walsh, Toby
5
2003
Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings. Zbl 1109.68109
Frisch, Alan M.; Peugniez, Timothy J.; Doggett, Anthony J.; Nightingale, Peter W.
4
2005
Filtering algorithms for the multiset ordering constraint. Zbl 1191.68633
Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby
2
2009
A fixpoint based encoding for bounded model checking. Zbl 1019.68590
Frisch, Alan; Sheridan, Daniel; Walsh, Toby
2
2002
Generalizing atoms in constraint logic. Zbl 0765.68176
Page, C. David jun.; Frisch, Alan M.
2
1991
Special issue: Selected papers based on the presentation at the 10th international conference on inductive logic programming (ILP-2000), London, GB, July 2000. Zbl 1093.68509
Cussens, James (ed.); Frisch, Alan M. (ed.)
1
2004
A constraint logic approach to modal deduction. Zbl 0796.03013
Frisch, Alan M.; Scherl, Richard B.
1
1991
Filtering algorithms for the multiset ordering constraint. Zbl 1191.68633
Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby
2
2009
Essence: A constraint language for specifying combinatorial problems. Zbl 1147.68424
Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian
16
2008
Propagation algorithms for lexicographic ordering constraints. Zbl 1131.68521
Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby
7
2006
The temporal knapsack problem and its solution. Zbl 1133.68425
Bartlett, Mark; Frisch, Alan M.; Hamadi, Youssef; Miguel, Ian; Tarim, S. Armagan; Unsworth, Chris
6
2005
Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings. Zbl 1109.68109
Frisch, Alan M.; Peugniez, Timothy J.; Doggett, Anthony J.; Nightingale, Peter W.
4
2005
Special issue: Selected papers based on the presentation at the 10th international conference on inductive logic programming (ILP-2000), London, GB, July 2000. Zbl 1093.68509
Cussens, James (ed.); Frisch, Alan M. (ed.)
1
2004
Constraints for breaking more row and column symmetries. Zbl 1273.68075
Frisch, Alan M.; Jefferson, Chris; Miguel, Ian
7
2003
CGRASS: A system for transforming constraint satisfaction problems. Zbl 1023.68668
Frisch, Alan M.; Miguel, Ian; Walsh, Toby
5
2003
A fixpoint based encoding for bounded model checking. Zbl 1019.68590
Frisch, Alan; Sheridan, Daniel; Walsh, Toby
2
2002
Anytime deduction for probabilistic logic. Zbl 0809.03016
Frisch, Alan M.; Haddawy, Peter
35
1994
The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning. Zbl 0736.68071
Frisch, Alan M.
16
1991
A general framework for modal deduction. Zbl 0765.68172
Frisch, Alan M.; Scherl, Richard B.
6
1991
Generalizing atoms in constraint logic. Zbl 0765.68176
Page, C. David jun.; Frisch, Alan M.
2
1991
A constraint logic approach to modal deduction. Zbl 0796.03013
Frisch, Alan M.; Scherl, Richard B.
1
1991
A general framework for sorted deduction: Fundamental results on hybrid reasoning. Zbl 0711.03006
Frisch, Alan M.
7
1989
all top 5

Cited by 207 Authors

9 Lukasiewicz, Thomas
4 Gent, Ian Philip
4 Miguel, Ian
3 Biazzo, Veronica
3 Calders, Toon
3 Garcia de la Banda, Maria
3 Gilio, Angelo
3 Lee, Jimmy Ho-man
3 Nightingale, Peter W.
3 Stuckey, Peter James
3 Wallace, Mark G.
2 Bofill, Miquel
2 Bürckert, Hans Jürgen
2 Codish, Michael
2 De Raedt, Luc
2 Doder, Dragan
2 Frisch, Alan M.
2 Gagliardi Cozman, Fabio
2 Jäger, Manfred
2 Jefferson, Christopher
2 Kaneiwa, Ken
2 Law, Yat Chiu
2 Mears, Christopher
2 Meseguer Guaita, José
2 Ognjanović, Zoran
2 Palahí, Miquel
2 Prosser, Patrick
2 Sanfilippo, Giuseppe
2 Savić, Nenad
2 Scherl, Richard B.
2 Schurz, Gerhard
2 Stickel, Mark E.
2 Suy, Josep
2 Tack, Guido
2 Ternovska, Eugenia
2 Villaret, Mateu
2 Walsh, Toby
1 Akgün, Özgür
1 Amadini, Roberto
1 Anders, Gerrit
1 Angelelli, Enrico
1 Ansótegui, Carlos
1 Aronis, John M.
1 Audemard, Gilles
1 Banković, Milan
1 Beck, J. Christopher
1 Beckert, Bernhard
1 Beierle, Christoph
1 Beldiceanu, Nicolas
1 Belle, Vaishak
1 Bianchessi, Nicola
1 Bjørner, Nikolaj S.
1 Blockeel, Hendrik
1 Bogaerts, Bart
1 Boričić, Marija
1 Boussemart, Frédéric
1 Bouveret, Sylvain
1 Bruynooghe, Maurice
1 Brzoska, Christoph
1 Cabon, Bertrand
1 Cadoli, Marco
1 Calì, Andrea
1 Candeago, Lorenzo
1 Carlsson, Mats
1 Chu, Geoffrey
1 Cohen, William W.
1 Cohn, Anthony G.
1 Cozman, Fabio G.
1 Darmann, Andreas
1 De Bona, Glauber
1 de Campos, Cassio Polpo
1 de Cat, Broes
1 De Pooter, Stef
1 Debart, Françoise
1 Dell’Amico, Mauro
1 Denecker, Marc
1 di Ianni, Lucas Fargoni
1 Dries, Anton
1 Enjalbert, Patrice
1 Fages, François
1 Fagin, Ronald
1 Filippi, Carlo
1 Finger, Marcelo
1 Flener, Pierre
1 Freuder, Eugene C.
1 Furini, Fabio
1 Gabbrielli, Maurizio
1 Gavilanes, Antonio
1 Gillett, Peter R.
1 Goldsztejn, Alexandre
1 Gorbenko, A. A.
1 Goré, Rajeev Prabhakar
1 Gu, Wenxiang
1 Guns, Tias
1 Halpern, Joseph Yehuda
1 Hansen, Pierre
1 Hebrard, Emmanuel
1 Hedtstück, Ulrich
1 Heinz, Stefan
1 Hemmi, David
...and 107 more Authors

Citations by Year