About the Authors

Tallys H. Yunes

got a Computer Engineering degree at the University of Campinas (UNICAMP), Brazil, in 1997. He is currently a M.Sc. student at the Institute of Computing of UNICAMP, Brazil. His main research interests include Combinatorial Optimization, Integer Programming and Constraint Programming.

Arnaldo V. Moura

got his Ph.D. degree in Computer Science at the University of California at Berkeley, USA, in 1980. He is currently a full professor at the Institute of Computing of UNICAMP, Brazil. His main research interests include Automata Theory, Formal Languages, Computability, Verification of Hybrid Systems, Formal Methods in Software Engineering and Combinatorial Optimization.

Cid C. de Souza

got his Ph.D. degree in Computer Science at the Catholic University of Louvain (CORE), Belgium, in 1993. He is currently a full professor at the Institute of Computing of UNICAMP, Brazil. His main research interests include Combinatorial Optimization, Linear and Integer Programming and Design and Analysis of Algorithms.