The approximability of MAX CSP with fixed-value constraints

JOURNAL ARTICLE published September 2008 in Journal of the ACM

Research funded by Center for Industrial Information Technology (4.01) | Vetenskapsrädet (621-2003-34212006-4532) | Engineering and Physical Sciences Research Council (EP/C543831/1)

Authors: Vladimir Deineko | Peter Jonsson | Mikael Klasson | Andrei Krokhin

JOURNAL ISSUE published 1 June 2012 in Journal of the ACM

An in-place sorting with O ( n log n ) comparisons and O ( n ) moves

JOURNAL ARTICLE published July 2005 in Journal of the ACM

Authors: Gianni Franceschini | Viliam Geffert

On Context-Free Languages

JOURNAL ARTICLE published October 1966 in Journal of the ACM

Authors: Rohit J. Parikh

JOURNAL ISSUE published 4 May 2016 in Journal of the ACM

Automating Resolution is NP-Hard

JOURNAL ARTICLE published 31 October 2020 in Journal of the ACM

Research funded by European Research Council (ERC-2014-CoG 648276) | MICCIN (TIN2016-76573-C2-1P)

Authors: Albert Atserias | Moritz Müller

JOURNAL ISSUE published 6 December 2019 in Journal of the ACM

JOURNAL ISSUE published 1 September 2006 in Journal of the ACM

Decremental Single-Source Shortest Paths on Undirected Graphs in Near-Linear Total Update Time

JOURNAL ARTICLE published 31 December 2018 in Journal of the ACM

Research funded by European Research Council (340506, 317532) | Ministry of Education - Singapore (MOE2010-T2-2-082, MOE2012-T1-001-094) | Nanyang Technological University (317532) | Austrian Science Fund (P23499-N23) | Universität Wien (IK I049-N)

Authors: Monika Henzinger | Sebastian Krinninger | Danupon Nanongkai

Array Permutation by Index-Digit Permutation

JOURNAL ARTICLE published April 1976 in Journal of the ACM

Authors: Donald Fraser

Existential second-order logic over graphs

JOURNAL ARTICLE published March 2004 in Journal of the ACM

Authors: Georg Gottlob | Phokion G. Kolaitis | Thomas Schwentick

Cost-error relationships in A* tree-searching

JOURNAL ARTICLE published April 1990 in Journal of the ACM

Authors: Henry W. Davis

Nondeterministic linear-time tasks may require substantially nonlinear deterministic time in the case of sublinear work space

JOURNAL ARTICLE published July 1990 in Journal of the ACM

Authors: Yuri Gurevich

Nondeterministic polynomial-time computations and models of arithmetic

JOURNAL ARTICLE published 3 January 1990 in Journal of the ACM

Authors: Attila Máté

Optimum Head Separation in a Disk System with Two Read/Write Heads

JOURNAL ARTICLE published 20 September 1984 in Journal of the ACM

Authors: A. R. Calderbank | E. G. Coffman | L. Flatto

QCSP Monsters and the Demise of the Chen Conjecture

JOURNAL ARTICLE published 31 October 2022 in Journal of the ACM

Research funded by European Research Council (771005) | Russian Foundation for Basic Research (19-01-00200)

Authors: Dmitriy Zhuk | Barnaby Martin

Monotonic reductions, representative equivalence, and compilation of intractable problems

JOURNAL ARTICLE published November 2001 in Journal of the ACM

Authors: Paolo Liberatore

Fast algorithms for N -dimensional restrictions of hard problems

JOURNAL ARTICLE published June 1988 in Journal of the ACM

Authors: Friedhelm Meyer auf der Heide

Epistemic privacy

JOURNAL ARTICLE published December 2010 in Journal of the ACM

Authors: Alexandre Evfimievski | Ronald Fagin | David Woodruff

An NP-Complete Number-Theoretic Problem

JOURNAL ARTICLE published July 1979 in Journal of the ACM

Authors: Eitan M. Gurari | Oscar H. Ibarra