Anastasios Viglas

Anastasios Viglas

University of Sydney - Sydney / Australia
Engineering & Technology / Computer Science
AD Scientific Index ID: 51984
person_outline Anastasios Viglas's MOST POPULAR ARTICLES
1-) Fault diagnosis and logic debugging using Boolean satisfiabilityA Smith, A Veneris, MF Ali, A ViglasIEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 20053292005
2-) Energy-efficient data gathering with tour length-constrained mobile elements in wireless sensor networksK Almi\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'ani, A Viglas, L LibmanIEEE local computer network conference, 582-589, 20101312010
3-) Time-space lower bounds for satisfiabilityL Fortnow, R Lipton, D Van Melkebeek, A ViglasJournal of the ACM (JACM) 52 (6), 835-865, 20051012005
4-) Design diagnosis using Boolean satisfiabilityA Smith, A Veneris, A ViglasASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE …, 2004932004
5-) On the complexity of SATRJ Lipton, A Viglas40th Annual Symposium on Foundations of Computer Science (Cat. No. 99CB37039 …, 1999451999