My work deals with combinatorial optimitzation problems from real-world industries, like schedule profesional sportive leagues, timetabling, etc. using SAT and SMT-based techniques. Therefore, it consists on finding better encodings of these problems and improving our SAT and SMT Solvers.
My address is 115 Batman Street at West Melbourne, 3003, Victoria (Australia). My phone number is +61 399 828 206, and my email is ignasi dot abio at nicta dot com dot au