Uniform random generation of decomposable structures using floating-point arithmetic

By Denise A.   Zimmermann P.  

Theoretical Computer Science, Vol. 218, Iss. 2, 1999-05 ,pp. : 233-248

Elsevier

Access to resources Recommend Favorite

A pxp bit fraction model of binary floating point division and extremal rounding cases

By Matula D.W.   McFearin L.D.  

Theoretical Computer Science, Vol. 291, Iss. 2, 2003-01 ,pp. : 159-182

Elsevier

Access to resources Recommend Favorite

Constraint Solving for Proof Planning

By Zimmer Jürgen   Melis Erica  

Journal of Automated Reasoning, Vol. 33, Iss. 1, 2004-07 ,pp. : 51-88

Springer Publishing Company

Access to resources Recommend Favorite

Solving VRPTWs with Constraint Programming Based Column Generation: Hybrid Optimization Techniques (Editors: Narendra Jussien and François Laburthe)

By Rousseau Louis-Martin  

Annals of Operations Research, Vol. 130, Iss. 1-4, 2004-08 ,pp. : 199-216

Springer Publishing Company

Access to resources Recommend Favorite

Termination of Floating-Point Computations

By Serebrenik Alexander   Schreye Danny  

Journal of Automated Reasoning, Vol. 34, Iss. 2, 2005-12 ,pp. : 141-177

Springer Publishing Company

Access to resources Recommend Favorite