Chris Unsworth

14 papers A 2B 2Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2018 J jnl
A Review of Literature on Parallel Constraint Solving.
CoRR
Ian P. Gent, Ciaran McCreesh, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Patrick Prosser, Chris Unsworth
2018 J jnl
A review of literature on parallel constraint solving.
Theory Pract. Log. Program.
Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth
2015 J jnl
Is my configuration any good: checking usability in an interactive sensor-based activity monitor.
Innov. Syst. Softw. Eng.
Muffy Calder, Philip D. Gray, Chris Unsworth
2013 J jnl
An n-ary Constraint for the Stable Marriage Problem.
CoRR
Chris Unsworth, Patrick Prosser
2011 J jnl
Limited discrepancy search revisited.
ACM J. Exp. Algorithmics
Patrick Prosser, Chris Unsworth
2010 — conf
An Introduction to Pervasive Interface Automata.
FACS
Muffy Calder, Philip D. Gray, Alice Miller, Chris Unsworth
2009 J jnl
Tightly coupled verification of pervasive systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Muffy Calder, Philip D. Gray, Chris Unsworth
2009 J jnl
Towards the Verification of Pervasive Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
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
2008 — —
A specialised constraint approach for stable matching problems.
Chris Unsworth
2007 B conf
A Constraint Programming Approach to the Hospitals / Residents Problem.
CPAIOR
David F. Manlove, Gregg O'Malley, Patrick Prosser, Chris Unsworth
2006 A conf
A Connectivity Constraint Using Bridges.
ECAI
Patrick Prosser, Chris Unsworth
2005 — conf
A Specialised Binary Constraint for the Stable Marriage Problem.
SARA
Chris Unsworth, Patrick Prosser
2005 A conf
Specialised Constraints for Stable Matching Problems.
CP
Chris Unsworth, Patrick Prosser
2005 B conf
The Temporal Knapsack Problem and Its Solution.
CPAIOR
Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth