Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Hector Geffner

Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT

English

Related publications

Two Structural Relaxations in Protein Hydration Water and Their Dynamic Crossovers

Journal of Chemical Physics

Theoretical Chemistry

English

Solving Commutative Relaxations of Word Problems

English

Solving Lift-And-Project Relaxations of Binary Integer Programs

SIAM Journal on Optimization

Theoretical Computer Science

English

About Strongly Fejér Monotone Mappings and Their Relaxations

Zeitschrift fur Analysis und ihre Anwendung

Applied Mathematics

English

Solving Transportation Problem by Various Methods and Their Comaprison

International Journal of Mathematics Trends and Technology

English

Microarchitectural Support for Speculative Register Renaming

English

A Method for Solving Two-Variable Simultaneous Nonlinear Equations.

Kagaku Kogaku Ronbunshu

Chemical Engineering

English

Solving Optimal Reactive Power Problem by Improved Variable Mesh Optimization Algorithm

International Journal of Advances in Applied Sciences

English

Density Scaling of the Structural and Johari–Goldstein Secondary Relaxations in Poly(methyl Methacrylate)

Organic Chemistry

Inorganic Chemistry

Materials Chemistry

English