Picture for Patrick Prosser

Patrick Prosser

A General Framework for Stable Roommates Problems using Answer Set Programming

Add code
Aug 07, 2020
Figure 1 for A General Framework for Stable Roommates Problems using Answer Set Programming
Figure 2 for A General Framework for Stable Roommates Problems using Answer Set Programming
Figure 3 for A General Framework for Stable Roommates Problems using Answer Set Programming
Figure 4 for A General Framework for Stable Roommates Problems using Answer Set Programming
Viaarxiv icon

A Review of Literature on Parallel Constraint Solving

Add code
Mar 29, 2018
Viaarxiv icon

The Ultrametric Constraint and its Application to Phylogenetics

Add code
Jan 15, 2014
Figure 1 for The Ultrametric Constraint and its Application to Phylogenetics
Figure 2 for The Ultrametric Constraint and its Application to Phylogenetics
Figure 3 for The Ultrametric Constraint and its Application to Phylogenetics
Figure 4 for The Ultrametric Constraint and its Application to Phylogenetics
Viaarxiv icon

An n-ary Constraint for the Stable Marriage Problem

Add code
Aug 01, 2013
Figure 1 for An n-ary Constraint for the Stable Marriage Problem
Figure 2 for An n-ary Constraint for the Stable Marriage Problem
Figure 3 for An n-ary Constraint for the Stable Marriage Problem
Figure 4 for An n-ary Constraint for the Stable Marriage Problem
Viaarxiv icon