Patrick Prosser
Home
Personal
Publications
Research
Activities
Teaching
People
Links
Family
Downloads
Downloads
Code and applications are covered by the
CRAPL licence
exact algorithms for maximum clique
constraint encoding for problem in extremal graph theory
constraint encoding for stable roommates problem
Copyright ©
Patrick Prosser
2013.