BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
problem (3)
abstract (3)
simplif (1)
constraint (1)
relev (1)

Stem intract$ (all stems)

11 papers:

VLDBVLDB-2010-FanLMTWW #graph #pattern matching #polynomial
Graph Pattern Matching: From Intractable to Polynomial Time (WF, JL, SM, NT, YW, YW), pp. 264–275.
CSLCSL-2009-Kreutzer #higher-order #logic #monad #on the
On the Parameterised Intractability of Monadic Second-Order Logic (SK), pp. 348–363.
ICMLICML-2008-FinleyJ
Training structural SVMs when exact inference is intractable (TF, TJ), pp. 304–311.
ICMLICML-2007-DavidsonR #clustering #constraints
Intractability and clustering with constraints (ID, SSR), pp. 201–208.
LICSLICS-2004-FlumG #model checking #problem
Model-Checking Problems as a Basis for Parameterized Intractability (JF, MG), pp. 388–397.
RTARTA-1997-Schulz #algorithm
A Criterion for Intractability of E-unification with Free Function Symbols and Its Relevance for Combination Algorithms (KUS), pp. 284–298.
STOCSTOC-1992-VenkatesanR #matrix #problem
Average Case Intractability of Matrix and Diophantine Problems (Extended Abstract) (RV, SR), pp. 632–642.
ICMLML-1990-Flann #abstraction
Applying Abstraction and Simplification to Learn in Intractable Domains (NSF), pp. 277–285.
STOCSTOC-1988-Ben-OrGKW #how #interactive #multi #proving
Multi-Prover Interactive Proofs: How to Remove Intractability Assumptions (MBO, SG, JK, AW), pp. 113–131.
ICLPICLP-1986-Wolfram86 #backtracking #problem
Intractable Unifiability Problems and Backtracking (DAW), pp. 107–121.
STOCSTOC-1977-AdlemanM
Reducibility, Randomness, and Intractability (Abstract) (LMA, KLM), pp. 151–163.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.