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:
space (1)
sat (1)
dynam (1)
queri (1)
effici (1)

Stem stab$ (all stems)

2 papers:

IJCARIJCAR-2010-AravantinosCP10a #named #satisfiability
RegSTAB: A SAT Solver for Propositional Schemata (VA, RC, NP), pp. 309–315.
STOCSTOC-2003-Thorup03a #performance #query
Space efficient dynamic stabbing with fast queries (MT), pp. 649–658.

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.