Search Results - "Viglas, Anastasios"

Equilibria for networks with malicious users.

Authors: Karakostas, George Viglas, Anastasios

Source: Mathematical Programming; Sep2007, Vol. 110 Issue 3, p591-613, 23p, 1 Diagram

On the approximability of the link building problem.

Authors: Olsen, Martin Viglas, Anastasios

Source: Theoretical Computer Science. Jan2014, Vol. 518, p96-116. 21p.

Subjects: Approximation theory, Directed graphs, Greedy algorithms, Problem solving, Polynomials, Graphic methods, Topology

On the degradation of performance for traffic networks with oblivious users

Authors: Karakostas, George Kim, Taeyon Viglas, Anastasios et al.

Source: Transportation Research Part B: Methodological; Feb2011, Vol. 45 Issue 2, p364-371, 8p

On the complexity of intersecting finite state automata and NL versus NP

Authors: Karakostas, George Lipton, Richard J. Viglas, Anastasios

Source: Theoretical Computer Science; Jun2003, Vol. 302 Issue 1-3, p257, 18p

Time-Space Lower Bounds for Satisfiability.

Authors: Fortnow, Lance Lipton, Richard Van Melkebeek, Dieter et al.

Source: Journal of the ACM. Nov2005, Vol. 52 Issue 6, p835-865. 31p.

Fault Diagnosis and Logic Debugging Using Boolean Satisfiability.

Authors: Smith, Alexander Veneris, Andreas Ali, Moayad Fahim et al.

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. Oct2005, Vol. 24 Issue 10, p1606-1621. 16p.