Alan Mark Frisch

Search results

• 2013

  An Automated Constraint Modelling and Solving Toolchain

  Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, ARW 2013 - 20th Automated Reasoning Workshop.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automated Symmetry Breaking and Model Selection in Conjure

  Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, CP 2013 - Principles and Practice of Constraint Programming, 19th International Conference. p. 107-116

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2011

  Extensible Automated Constraint Modelling

  Akgun, O., Miguel, I., Jefferson, C., Frisch, A. M. & Hnich, B., Aug 2011, Proceedings of theTwenty-Fifth AAAI Conference on Artificial Intelligence. San Francisco: AAAI Press, p. 4-11 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  File
• 2009

  The proper treatment of undefinedness in constraint languages

  Frisch, A. M. & Stuckey, P. J., 2009, Principles and Practice of Constraint Programming - CP 2009 : 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings. Springer, p. 367-382 (Lecture Notes in Computer Science; vol. 5732).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2005

  The Rules of Constraint Modelling

  Frisch, A. M., Jefferson, C., Martinez Hernandez, B. & Miguel, I., 2005, Proceedings of the 19th International Joint Conference on Artificial Intelligence. p. 109-116 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The temporal knapsack problem and its solution

  Bartlett, M., Frisch, A. M., Hamadi, Y., Miguel, I., Tarim, S. A. & Unsworth, C., 2005, INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS. Bartak, R. & Milano, M. (eds.). BERLIN: Springer, p. 34-48 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards the systematic generation of channelling constraints

  Martinez-Hernandez, B. & Frisch, A. M., 2005, PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2005, PROCEEDINGS. VanBeek, P. (ed.). BERLIN: Springer, p. 859-859 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 2004

  Symmetry breaking as a prelude to implied constraints: A constraint modelling pattern

  Frisch, A. M., Jefferson, C. & Miguel, I., 2004, ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS. LopezdeMantaras, R. & Saitta, L. (eds.). AMSTERDAM: IOS Press, p. 171-175 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The interaction between inference and branching heuristics

  Drake, L. & Frisch, A., 2004, THEORY AND APPLICATIONS OF SATISFIABILITY TESTING. Giunchiglia, E. & Tacchella, A. (eds.). BERLIN: Springer, p. 370-382 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 2003

  CGRASS: A system for transforming constraint satisfaction problems

  Frisch, A. M., Miguel, I. & Walsh, T., 2003, RECENT ADVANCES IN CONSTRAINTS. OSullivan, B. (ed.). BERLIN: Springer, p. 15-30 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Constraints for breaking more row and column symmetries

  Frisch, A. M., Jefferson, C. & Miguel, I., 2003, PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS. Rossi, F. (ed.). BERLIN: Springer, p. 318-332 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 2002

  Breaking row and column symmetries in matrix models

  Flener, P., Frisch, A. M., Hnich, B., Kiziltan, Z., Miguel, I., Pearson, J. & Walsh, T., Sept 2002, Proceedings of the 8th International Conference on Principles and Practice of Constraint Programmin. Berlin / Heidelberg: Springer, p. 462-477 15 p. (Lecture Notes in Computer Science; vol. 2470).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Combining inference and search for the propositional satisfiability problem

  Drake, L., Frisch, A. & Walsh, T., 2002, EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS. CAMBRIDGE: MIT Press , p. 982-982 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 1999

  Sorted downward refinement: Building background knowledge into a refinement operator for inductive logic programming

  Frisch, A. M., 1999, INDUCTIVE LOGIC PROGRAMMING. Dzeroski, S. & Flach, P. (eds.). BERLIN: Springer, p. 104-115 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 1997

  Cautious Induction in Inductive Logic Programming

  Anthony, S., Frisch, A. M., Lavrac, N. (Editor) & Dzeroski, S. (Editor), 1997, Inductive Logic Programming: Proc. of the Seventh Int. Workshop. Prague, Czech Republic: Springer, Vol. 1297. p. 45-60 16 p. (Lecture Notes in Artificial Intelligence).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Generating Numerical Literals During Refinement

  Anthony, S., Frisch, A. M., Lavrac, N. (Editor) & Dzeroski, S. (Editor), 1997, Inductive Logic Programming: Proc. of the Seventh Int. Workshop. Prague, Czech Republic: Springer, Vol. 1297. p. 61-76 16 p. (Lecture Notes in Artificial Intelligence).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution