research
∙
08/07/2020
A General Framework for Stable Roommates Problems using Answer Set Programming
The Stable Roommates problem (SR) is characterized by the preferences of...
share
research
∙
08/07/2019
A Constraint Model for the Tree Decomposition of a Graph
We present a constraint model for the problem of producing a tree decomp...
research
∙
03/29/2018
A Review of Literature on Parallel Constraint Solving
As multicore computing is now standard, it seems irresponsible for const...
research
∙
01/15/2014
The Ultrametric Constraint and its Application to Phylogenetics
A phylogenetic tree shows the evolutionary relationships among species. ...
research
∙
08/01/2013