( en | de | ru )

 

Disambiguation of "Viglas, Anastasios"

Author of the publication

copydeleteadd this publication to your clipboard
Fault diagnosis and logic debugging using Boolean satisfiability.

, , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 24 (10): 1606-1621 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Konstantinos Viglas

Anastasios Giannitsis

Anastasios Moissidis

Anastasios Maniatoglou

Anastasios Giannakis

 

Other publications of authors with the same name

An incremental data-stream sketch using sparse random projections., , , and . SDM, page 563-568. SIAM, (2007)Connected tours for sensor networks using clustering techniques., , and . WOCC, page 432-437. IEEE, (2013)On the complexity of intersecting finite state automata and N L versus N P., , and . Theor. Comput. Sci., 302 (1-3): 257-274 (2003)Design diagnosis using Boolean satisfiability., , and . ASP-DAC, page 218-223. IEEE Computer Society, (2004)A Constant-Factor Approximation Algorithm for the Link Building Problem., , and . COCOA (2), volume 6509 of Lecture Notes in Computer Science, page 87-96. Springer, (2010)An approximation algorithm for the link building problem, , and . CoRR, (2012)Non-uniform Depth of Polynomial Time and Space Simulations., and . FCT, volume 2751 of Lecture Notes in Computer Science, page 311-320. Springer, (2003)Analysis of a Forwarding Game without Payments., and . PDCAT, page 691-696. IEEE, (2012)A Topology Control Algorithm with Good Spanner Properties for Wireless Sensor Networks., , , and . CNSR, page 179-186. IEEE Computer Society, (2010)Tour and path planning methods for efficient data gathering using mobile elements., , and . Int. J. Ad Hoc Ubiquitous Comput., 21 (1): 11-25 (2016)