Groovy guy

Unregistered less info
26 reputation
1
bio website none
location
age
visits member for 2 years, 7 months
seen Jan 9 '12 at 16:41

Jan
8
comment Graph coloring problem on Z3
Thank's for the editing + comments + references I’ll read it all, and try again.
Jan
7
awarded  Student
Jan
7
asked Graph coloring problem on Z3