Name | tight-tsp.lparse |
---|---|
Class Tree | |
Submitter | Martin Gebser |
Author | Lengning Liu and Miroslaw Truszczynski |
Description |
Authors: Lengning Liu and Miroslaw Truszczynski Affiliation: University of Kentucky Email: {lliu1, mirek}@cs.uky.edu |
Created | 2009-03-30 13:03 |
Modified | 2009-03-10 13:01 |
Languages | |
Language Features | |
Compatible Instance Classes | |
Input Predicates |
|
Output Predicates |
|
Encoding Parameter |
|
Standalone | No |
|
|
Attributes | |
Content |