Patrick Prosser

From MaRDI portal



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
Exact algorithms for maximum clique: a computational study
Algorithms
2019-03-26Paper
Multi-threading a state-of-the-art maximum clique algorithm
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