Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ian Lewin
A Quantifier Scoping Algorithm Without a Free Variable Constraint
Roadway Lighting: An Investigation and Evaluation of Three Different Light Sources: Final Report
Related publications
Transfer Function Synthesis Without Quantifier Elimination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Bv2epr: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas Into EPR
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Search-Free Intersection Algorithm
Mass Market Demand Response and Variable Generation Integration Issues: A Scoping Study
A Constraint Programming-Based Genetic Algorithm for Capacity Output Optimization
Journal of Industrial Engineering and Management
Industrial
Management
Manufacturing Engineering
Strategy
A New Algorithm for Optimal Constraint Satisfaction and Its Implications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Generalized Definition of Quantifier Absorption
Semantics and Linguistic Theory
An Improved Method of Genetic Algorithm to Solve the Variable Speed Limit Problem With Constraint Conditions
International Journal of Online Engineering
Engineering
E-learning
Betti Numbers of Semialgebraic Sets Defined by Quantifier-Free Formulae
Discrete and Computational Geometry
Combinatorics
Mathematics
Geometry
Discrete Mathematics
Computational Theory
Topology
Theoretical Computer Science
