<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-07-23 19:14:24Australian National Centre for the Public Awareness of Science Australian Capital Territory Department of Innovation Industry Science and Research Canberra Australian National University Commonwealth Scientific and Industrial Research Organisation Scitech Questacon Government States and territories of Australia |
| Crossword Puzzles as a Constraint Problem Anbulagan and Adi Botea NICTA?? and Australian National University, Canberra, Australia {anbulagan|adi.botea}@nicta.com.au Abstract. We present new results in crossword compositDocID: 1xU6c - View Document |
| Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2DocID: 1xU0g - View Document |
| PDF DocumentDocID: 1xMRs - View Document |
| PDF DocumentDocID: 1xC9X - View Document |
| PDF DocumentDocID: 1xxUV - View Document |