On the complexity of edge traversing

JOURNAL ARTICLE published July 1976 in Journal of the ACM

Authors: Christos H. Papadimitriou

The Boundary Count of Digital Pictures

JOURNAL ARTICLE published January 1971 in Journal of the ACM

Authors: J. C. Alexander | A. I. Thaler

Embeddability in R ³ is NP-hard

JOURNAL ARTICLE published 31 August 2020 in Journal of the ACM

Research funded by Campus France (EMBEDS II CZ:7AMB17FR029 FR:38087RM) | Agence Nationale de la Recherche (ANR-16-CE40-0009-01) | Grantová Agentura ðeské Republiky (16-01602Y) | Simons Foundation (637880)

Authors: Arnaud de Mesmay | Yo’av Rieck | Eric Sedgwick | Martin Tancer

Fast Hamiltonicity Checking Via Bases of Perfect Matchings

JOURNAL ARTICLE published 30 June 2018 in Journal of the ACM

Research funded by Polish National Science Centre (UMO-2012/05/D/ST6/03214) | European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (677651)

Authors: Marek Cygan | Stefan Kratsch | Jesper Nederlof

Asynchronous Iterative Methods for Multiprocessors

JOURNAL ARTICLE published April 1978 in Journal of the ACM

Authors: Gérard M. Baudet

Alternating-time temporal logic

JOURNAL ARTICLE published September 2002 in Journal of the ACM

Authors: Rajeev Alur | Thomas A. Henzinger | Orna Kupferman

Fixpoint logics, relational machines, and computational complexity

JOURNAL ARTICLE published 15 January 1997 in Journal of the ACM

Authors: Serge Abiteboul | Moshe Y. Vardi | Victor Vianu

Sparsification—a technique for speeding up dynamic graph algorithms

JOURNAL ARTICLE published September 1997 in Journal of the ACM

Authors: David Eppstein | Zvi Galil | Giuseppe F. Italiano | Amnon Nissenzweig

A constructive proof of the general lovász local lemma

JOURNAL ARTICLE published January 2010 in Journal of the ACM

Research funded by Stavros Niarchos Foundation (200021-118001/1) | Natural Sciences and Engineering Research Council of Canada (329527) | Országos Tudományos Kutatási Alapprogramok (T-046234AT-048826NK-62321)

Authors: Robin A. Moser | Gábor Tardos

SINR Diagrams

JOURNAL ARTICLE published August 2012 in Journal of the ACM

Research funded by Israel Science Foundation (894/09)

Authors: Chen Avin | Yuval Emek | Erez Kantor | Zvi Lotker | David Peleg | Liam Roditty

Inference with path resolution and semantic graphs

JOURNAL ARTICLE published April 1987 in Journal of the ACM

Authors: Neil V. Murray | Erik Rosenthal

On Optimal Scheduling Algorithms for Time-Shared Systems

JOURNAL ARTICLE published July 1981 in Journal of the ACM

Authors: Leonard Kleinrock | Arne Nilsson

The Solvability of the Halting Problem for 2-State Post Machines

JOURNAL ARTICLE published October 1967 in Journal of the ACM

Authors: Stål Aanderaa | Patrick C. Fischer

Solving NP-Hard Problems on Graphs That Are Almost Trees and an Application to Facility Location Problems

JOURNAL ARTICLE published 26 June 1984 in Journal of the ACM

Authors: Yuri Gurevich | Larry Stockmeyer | Uzi Vishkin

On the minimality and global consistency of row-convex constraint networks

JOURNAL ARTICLE published May 1995 in Journal of the ACM

Authors: Peter van Beek | Rina Dechter

The Share 709 System: Programming and Modification

JOURNAL ARTICLE published April 1959 in Journal of the ACM

Authors: Irwin D. Greenwald | Maureen Kane

Matrices Associated With the Hitchcock Problem

JOURNAL ARTICLE published October 1962 in Journal of the ACM

Authors: A. L. Dulmage | N. S. Mendelsohn

Termination for direct sums of left-linear complete term rewriting systems

JOURNAL ARTICLE published November 1995 in Journal of the ACM

Authors: Y. Toyama | J. W. Klop | H. P. Barendregt

Corrections to Bierstone's Algorithm for Generating Cliques

JOURNAL ARTICLE published April 1972 in Journal of the ACM

Authors: Gordon D. Mulligan | D. G. Corneil

Efficient Generation of Optimal Prefix Code

JOURNAL ARTICLE published April 1975 in Journal of the ACM

Authors: Y. Perl | M. R. Garey | S. Even