BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
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.
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.
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.