Chris Unsworth

According to our database, Chris Unsworth authored at least 13 papers between 2005 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

A review of literature on parallel constraint solving.

Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth

Theory Pract. Log. Program., 2018

2015

Is my configuration any good: checking usability in an interactive sensor-based activity monitor.

Muffy Calder, Philip D. Gray, Chris Unsworth

Innov. Syst. Softw. Eng., 2015

2013

An n-ary Constraint for the Stable Marriage Problem.

Chris Unsworth, Patrick Prosser

CoRR, 2013

2011

Limited discrepancy search revisited.

Patrick Prosser, Chris Unsworth

ACM J. Exp. Algorithmics, 2011

2010

An Introduction to Pervasive Interface Automata.

Muffy Calder, Philip D. Gray, Alice Miller, Chris Unsworth

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009

Tightly coupled verification of pervasive systems.

Muffy Calder, Philip D. Gray, Chris Unsworth

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Towards the Verification of Pervasive Systems.

Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

2008

A specialised constraint approach for stable matching problems.

Chris Unsworth

PhD thesis, 2008

2007

A Constraint Programming Approach to the Hospitals / Residents Problem.

David F. Manlove, Gregg O'Malley, Patrick Prosser, Chris Unsworth

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

2006

A Connectivity Constraint Using Bridges.

Patrick Prosser, Chris Unsworth

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

A Specialised Binary Constraint for the Stable Marriage Problem.

Chris Unsworth, Patrick Prosser

Proceedings of the Abstraction, 2005

The Temporal Knapsack Problem and Its Solution.

Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

Specialised Constraints for Stable Matching Problems.

Chris Unsworth, Patrick Prosser

Proceedings of the Principles and Practice of Constraint Programming, 2005