Concepedia

Anastasios Viglas

AV

Statistics

Publications

16

Citations

851

H-Index

15

Active since

2003

Affiliations

The University of Sydney(Current)

University of Toronto

McMaster University

Georgia Institute of Technology

Anastasios Viglas is an author at The University of Sydney specializing in computer science, computing, and wireless sensor networks.

Publications per year

2003–2016

16

Publications

16

Fault diagnosis and logic debugging using Boolean satisfiability

Alexander Smith, Andreas Veneris, Moayad Fahim Ali et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2005 · 269 citations

Engineering, Computer Engineering, Computer Science +14

Energy-efficient data gathering with tour length-constrained mobile elements in wireless sensor networks

Khaled Almi’ani, Anastasios Viglas, Lavy Libman · 2010 · 120 citations

Computing, Computer Science, Algorithms +15

Time-space lower bounds for satisfiability

Lance Fortnow, Richard Lipton, Dieter van Melkebeek et al. · Journal of the ACM · 2005 · 73 citations

Computing, Computer Science, Mathematics +15

Design diagnosis using Boolean satisfiability

Alexander Smith, Andreas Veneris, Anastasios Viglas · 2004 · 60 citations

Engineering, Computer Science, Digital Design +14

On the complexity of SAT

R.J. Lipton, Anastasios Viglas · 2003 · 55 citations

Computing, Computer Science, Mathematics +17

1–5 of 16