Add to ORKGSIGLEAvailable from British Library Document Supply Centre- DSC:DXN059691 / BLDSC - British Library Document Supply CentreGBUnited Kingdo
Abstract. Cylindrical algebraic decomposition (CAD) is an important tool for the study of real algeb...
Centro de Informacion y Documentacion Cientifica (CINDOC). C/Joaquin Costa, 22. 28002 Madrid. SPAIN ...
A completeness threshold is required to guarantee the completeness of planning as satisfiability, and...
Abstract. Weconstructanalgorithmforacylindricalcelldecompositionof aclosedcubeI n ⊂R n compatiblewit...
AbstractWe construct an algorithm for a cylindrical cell decomposition of a closed cube In⊂Rn compat...
SIGLEAvailable from British Library Document Supply Centre- DSC:7769.09285(WU-DCS-RR--267) / BLDSC -...
SIGLEAvailable from British Library Document Supply Centre-DSC:D201444 / BLDSC - British Library Doc...
SIGLEAvailable from British Library Document Supply Centre- DSC:8092.7029(BU-CSR--90-12) / BLDSC - B...
Cylindrical algebraic decompositions (CADs) are a key tool in real algebraic geometry, used primaril...
Available from British Library Document Supply Centre-DSC:7769.09285(370) / BLDSC - British Library ...
Computational Complexity of Uncapacitated Multi-Echelon Production Plannin Problem
SIGLEAvailable from British Library Document Supply Centre- DSC:D42000/82 / BLDSC - British Library ...
The so-called size-complexity rule claims the existence of a positive correlation between organism s...
Abstract. We present a simple but powerful new probabilistic technique for analyzing the combinatori...
Available from British Library Document Supply Centre- DSC:D37336/81 / BLDSC - British Library Docum...
Abstract. Cylindrical algebraic decomposition (CAD) is an important tool for the study of real algeb...
Centro de Informacion y Documentacion Cientifica (CINDOC). C/Joaquin Costa, 22. 28002 Madrid. SPAIN ...
A completeness threshold is required to guarantee the completeness of planning as satisfiability, and...
Abstract. Weconstructanalgorithmforacylindricalcelldecompositionof aclosedcubeI n ⊂R n compatiblewit...
AbstractWe construct an algorithm for a cylindrical cell decomposition of a closed cube In⊂Rn compat...
SIGLEAvailable from British Library Document Supply Centre- DSC:7769.09285(WU-DCS-RR--267) / BLDSC -...
SIGLEAvailable from British Library Document Supply Centre-DSC:D201444 / BLDSC - British Library Doc...
SIGLEAvailable from British Library Document Supply Centre- DSC:8092.7029(BU-CSR--90-12) / BLDSC - B...
Cylindrical algebraic decompositions (CADs) are a key tool in real algebraic geometry, used primaril...
Available from British Library Document Supply Centre-DSC:7769.09285(370) / BLDSC - British Library ...
Computational Complexity of Uncapacitated Multi-Echelon Production Plannin Problem
SIGLEAvailable from British Library Document Supply Centre- DSC:D42000/82 / BLDSC - British Library ...
The so-called size-complexity rule claims the existence of a positive correlation between organism s...
Abstract. We present a simple but powerful new probabilistic technique for analyzing the combinatori...
Available from British Library Document Supply Centre- DSC:D37336/81 / BLDSC - British Library Docum...
Abstract. Cylindrical algebraic decomposition (CAD) is an important tool for the study of real algeb...
Centro de Informacion y Documentacion Cientifica (CINDOC). C/Joaquin Costa, 22. 28002 Madrid. SPAIN ...
A completeness threshold is required to guarantee the completeness of planning as satisfiability, and...