Home
People
Publications
Projects
Links
Courses
Events
News

KR&R Group: Projects

Cognitive Robotics
Reasoning about Biomedical Ontologies
Phylogenetic Systematics
Genome Rearrangement
Haplotype Inference
Rectilinear Steiner Tree Construction and Wire Routing
Grid Puzzles
Comparing ASP, CP, ILP