@inproceedings{CRPITV77P3-3,
   Author = {Allender, Eric},
   Title = {Chipping Away at P vs NP: How Far Are We from Proving Circuit Size Lower Bounds?},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {3-3},
   URL  = {http://crpit.com/confpapers/CRPITV77Allender.pdf},
   Year = {2008} }



@inproceedings{CRPITV77P97-106,
   Author = {Asahiro, Yuichi and Miyano, Eiji and Ono, Hirotaka},
   Title = {Graph Classes and the Complexity of the Graph Orientation Minimizing the Maximum Weighted Outdegree},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {97-106},
   URL  = {http://crpit.com/confpapers/CRPITV77Asahiro.pdf},
   Year = {2008} }



@inproceedings{CRPITV77P49-56,
   Author = {Asquith, Matthew and Gudmundsson, Joachim and Merrick, Damian},
   Title = {An ILP for the metro-line crossing problem},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {49-56},
   URL  = {http://crpit.com/confpapers/CRPITV77Asquith.pdf},
   Year = {2008} }



@inproceedings{CRPITV77P125-131,
   Author = {Bai, Shi and Brent, Richard P.},
   Title = {On the Efficiency of Pollard's Rho Method for Discrete Logarithms},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {125-131},
   URL  = {http://crpit.com/confpapers/CRPITV77Bai.pdf},
   Year = {2008} }



@inproceedings{CRPITV77P7-14,
   Author = {Bunder, Martin},
   Title = {The Inhabitation Problem for Intersection Types},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {7-14},
   URL  = {http://crpit.com/confpapers/CRPITV77Bunder.pdf},
   Year = {2008} }



@inproceedings{CRPITV77P117-124,
   Author = {Chang, Ching-Lueh and Ti, Yen-Wu and Lyuu, Yuh-Dauh},
   Title = {Testing Embeddability Between Metric Spaces},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {117-124},
   URL  = {http://crpit.com/confpapers/CRPITV77Chang.pdf},
   Year = {2008} }



@inproceedings{CRPITV77P133-142,
   Author = {Groves, Lindsay},
   Title = {Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {133-142},
   URL  = {http://crpit.com/confpapers/CRPITV77Groves.pdf},
   Year = {2008} }



@book{CRPITV77,
   Editor = {Harland, James and Manyem, Prabhu},
   Title = {Theory of Computing 2008.  Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Publisher = {ACS},
   Address = {Wollongong, NSW, Australia},
   Volume = {77},
  Series = {CRPIT},
   Year = {2008} }



@inproceedings{CRPITV77P15-26,
   Author = {Huang, Xiaowei and Jiao, Li and Lu, Weiming},
   Title = {Weak Parametric Failure Equivalences and Their Congruence Formats},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {15-26},
   URL  = {http://crpit.com/confpapers/CRPITV77Huang.pdf},
   Year = {2008} }



@inproceedings{CRPITV77P39-47,
   Author = {Huston, Samuel and Puchinger, Jakob and Stuckey, Peter},
   Title = {The Core Concept for 0/1 Integer Programming},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {39-47},
   URL  = {http://crpit.com/confpapers/CRPITV77Huston.pdf},
   Year = {2008} }



@inproceedings{CRPITV77P87-91,
   Author = {Levit, Vadim and Mandrescu, Eugen},
   Title = {Well-covered Graphs and Greedoids},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {87-91},
   URL  = {http://crpit.com/confpapers/CRPITV77Levit.pdf},
   Year = {2008} }



@inproceedings{CRPITV77P79-86,
   Author = {Mathieson, Luke and Szeider, Stefan},
   Title = {The Parameterized Complexity of Regular Subgraph Problems and Generalizations},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {79-86},
   URL  = {http://crpit.com/confpapers/CRPITV77Mathieson.pdf},
   Year = {2008} }



@inproceedings{CRPITV77P93-95,
   Author = {Miller, Mirka and Nguyen, Minh H. and Pineda-Villavicencio, Guillermo},
   Title = {On the Non-existence of Even Degree Graphs with Diameter 2 and Defect 2},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {93-95},
   URL  = {http://crpit.com/confpapers/CRPITV77Miller.pdf},
   Year = {2008} }



@inproceedings{CRPITV77P57-62,
   Author = {Morozova, Elena},
   Title = {A Multidimensional Bisection Method for Unconstrained Minimization Problem},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {57-62},
   URL  = {http://crpit.com/confpapers/CRPITV77Morozova.pdf},
   Year = {2008} }



@inproceedings{CRPITV77P75-78,
   Author = {Mujuni, Egbert and Rosamond, Frances},
   Title = {Parameterized Complexity of the Clique Partition Problem},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {75-78},
   URL  = {http://crpit.com/confpapers/CRPITV77Mujuni.pdf},
   Year = {2008} }



@inproceedings{CRPITV77P27-37,
   Author = {Ohrimenko, Olga and Stuckey, Peter},
   Title = {Modelling for Lazy Clause Generation},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {27-37},
   URL  = {http://crpit.com/confpapers/CRPITV77Ohrimenko.pdf},
   Year = {2008} }



@inproceedings{CRPITV77P107-115,
   Author = {Ruskey, Frank and Williams, Aaron},
   Title = {Generating Balanced Parentheses and Binary Trees by Prefix Shifts},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {107-115},
   URL  = {http://crpit.com/confpapers/CRPITV77Ruskey.pdf},
   Year = {2008} }



@inproceedings{CRPITV77P67-74,
   Author = {Samer, Marko and Szeider, Stefan},
   Title = {Tractable Cases of the Extended Global Cardinality Constraint},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {67-74},
   URL  = {http://crpit.com/confpapers/CRPITV77Samer.pdf},
   Year = {2008} }



@inproceedings{CRPITV77P63-66,
   Author = {Shah, Nita H. and Gor, Ajay S. and Wee, Hui},
   Title = {Optimal Joint Vendor-Buyer Inventory Strategy for Deteriorating Items with Salvage Value},
   BookTitle = {Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)},
   Editor = {Harland, James and Manyem, Prabhu},
   Series= {CRPIT},
   Address= {Wollongong, NSW, Australia},
   Publisher = {ACS},
   Volume = {77},
   Pages = {63-66},
   URL  = {http://crpit.com/confpapers/CRPITV77Shah.pdf},
   Year = {2008} }