Approximations by OBDDs and the Variable Ordering Problem.
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F99%3A06990114" target="_blank" >RIV/67985807:_____/99:06990114 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Approximations by OBDDs and the Variable Ordering Problem.
Original language description
Original scientific paper dealing with Approximations by OBDDs and the Variable Ordering Problem.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA201%2F98%2F0717" target="_blank" >GA201/98/0717: Computational models and complexity of computations</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
1999
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Automata, Languages and Programming. Proceedings.
ISBN
3-540-66224-3
ISSN
—
e-ISSN
—
Number of pages
10
Pages from-to
—
Publisher name
Springer
Place of publication
Berlin
Event location
—
Event date
—
Type of event by nationality
—
UT code for WoS article
—