Патрик Проссер - Patrick Prosser

Патрик Проссер
Prosser SandYacht ноябрь 2003 г. lzn.jpg
Родился8 сентября 1952 г. (1952-09-08)
Глазго
НациональностьБританский
Альма-матерСтратклайдский университет
ИзвестенОбратный прыжок, направленный на конфликт
Научная карьера
ПоляОграниченное программирование
УчрежденияУниверситет Глазго
ДокторантИэн Бьюкенен

Патрик Проссер (родился 8 сентября 1952 г.), ученый-компьютерщик в Университет Глазго. Его исследования были сосредоточены на Ограниченное программирование, хотя он распространился на применение этих методов в других областях. За свой большой вклад в теорию и практику программирования с ограничениями 15 сентября 2011 года Патрик был удостоен награды Ассоциации за выдающиеся достижения в области программирования.[1] Он произнес заранее записанную приветственную речь, которая доступна на YouTube.[2]

Его самый заметный вклад - изобретение Обратный прыжок, направленный на конфликт, усовершенствованный метод сокращения поиска в задачах ограничений, позволяющий избежать ненужной работы по отслеживанию с возвратом. Его статья 1993 года[3] описание этого широко цитируется.[4]

Другие области программирования с ограничениями, которые он исследовал, включают определение сложных проблем.[5]и методы решения проблем с маршрутизацией транспортных средств.[6] Его интерес к приложениям программирования с ограничениями включал (например), как его можно использовать в вычислении деревьев видов.[7]

Среди его развлечений - запуск воздушных змеев в качестве основателя Кайт-клуб Шотландии. Он писал о Тетраэдрический змей.[8]

Рекомендации

  1. ^ Веб-сайт премии Ассоциации за выдающиеся достижения в области программирования при ограничениях. В архиве 2 апреля 2012 г. Wayback Machine
  2. ^ Плейлист с речью Патрика Проссера о приеме видео на Youtube.
  3. ^ ГИБРИДНЫЕ АЛГОРИТМЫ ДЛЯ ЗАДАЧИ ОГРАНИЧЕНИЯ УДОВЛЕТВОРЕНИЯ, Вычислительный интеллект, 1993, Том 9, страницы 268-299
  4. ^ Поиск Google Scholar
  5. ^ Эмпирическое исследование фазовых переходов в задачах удовлетворения бинарных ограничений, Искусственный интеллект, 1996, том 81, страницы 81-109.
  6. ^ Решение проблем маршрутизации транспортных средств с использованием программирования ограничений и метаэвристики, Журнал эвристики, 1995, Том 6, страницы 501-523.
  7. ^ Н. С. А. Мур и П. Проссер (2008) "Ультраметрическое ограничение и его применение в филогенетике", JAIR, Том 32, страницы 901-938
  8. ^ Повторение принципа тетраэдра в дизайне воздушных змеев, Патрик Проссер, 1996 г..

внешняя ссылка