Patrick Prosser

From MaRDI portal
Person:204955



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
An empirical study of phase transitions in binary constraint satisfaction problems
Artificial Intelligence
2022-09-22Paper
The Glasgow subgraph solver: using constraint programming to tackle hard subgraph isomorphism problem variants
Graph Transformation
2022-09-01Paper
Finding subgraphs with side constraints2022-03-21Paper
A General Framework for Stable Roommates Problems using Answer Set Programming
Theory and Practice of Logic Programming
2020-12-13Paper
Constraints for symmetry breaking in graph representation
Constraints
2019-10-25Paper
Sequential and parallel solution-biased search for subgraph algorithms2019-10-14Paper
Multi-threading a state-of-the-art maximum clique algorithm
Algorithms
2019-03-26Paper
Exact algorithms for maximum clique: a computational study
Algorithms
2019-03-26Paper
A review of literature on parallel constraint solving
Theory and Practice of Logic Programming
2018-12-04Paper
Observations from parallelising three maximum common (connected) subgraph algorithms2018-11-21Paper
When subgraph isomorphism is really hard, and why this matters for graph databases
Journal of Artificial Intelligence Research
2018-05-02Paper
A parallel branch and bound algorithm for the maximum labelled clique problem
Optimization Letters
2015-07-22Paper
Diamond-free degree sequence
(available as arXiv preprint)
2014-07-09Paper
Stable Roommates and Constraint Programming
Integration of AI and OR Techniques in Constraint Programming
2014-05-27Paper
Limited discrepancy search revisited
ACM Journal of Experimental Algorithmics
2014-04-01Paper
scientific article; zbMATH DE number 5547950 (Why is no real title available?)
(available as arXiv preprint)
2009-04-28Paper
A Constraint Programming Approach to the Hospitals / Residents Problem
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
2009-03-10Paper
A case study of mutual routing-scheduling reformulation
Journal of Scheduling
2007-05-15Paper
Recent Advances in Constraints
Lecture Notes in Computer Science
2005-11-11Paper
scientific article; zbMATH DE number 2086983 (Why is no real title available?)2004-08-11Paper
scientific article; zbMATH DE number 2084708 (Why is no real title available?)2004-08-09Paper
scientific article; zbMATH DE number 2080318 (Why is no real title available?)2004-08-04Paper
scientific article; zbMATH DE number 2016067 (Why is no real title available?)2003-12-10Paper
scientific article; zbMATH DE number 1975617 (Why is no real title available?)2003-09-07Paper
Solving vehicle routing problems using constraint programming and metaheuristics
Journal of Heuristics
2001-11-19Paper
Random constraint satisfaction: Flaws and structure
Constraints
2001-11-12Paper
A comparison of traditional and constraint-based heuristic methods on vehicle routing problems with side constraints
Constraints
2001-07-05Paper
scientific article; zbMATH DE number 1488099 (Why is no real title available?)2000-08-10Paper
scientific article; zbMATH DE number 4174370 (Why is no real title available?)1989-01-01Paper


Research outcomes over time


This page was built for person: Patrick Prosser