Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

A Note on Detecting Simple Redundancies in Linear Systems

Operations Research Letters
IndustrialApplied MathematicsManufacturing EngineeringManagement ScienceOperations ResearchSoftware
1987English

Declarative Representation of Proof Terms

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2009English

Analysis of Christofides' Heuristic: Some Paths Are More Difficult Than Cycles

Operations Research Letters
IndustrialApplied MathematicsManufacturing EngineeringManagement ScienceOperations ResearchSoftware
1991English

On Polynomial Cases of the Unichain Classification Problem for Markov Decision Processes

Operations Research Letters
IndustrialApplied MathematicsManufacturing EngineeringManagement ScienceOperations ResearchSoftware
2008English

Adaptive Search With Stochastic Acceptance Probabilities for Global Optimization

Operations Research Letters
IndustrialApplied MathematicsManufacturing EngineeringManagement ScienceOperations ResearchSoftware
2008English

Fast Local Search and Guided Local Search and Their Application to British Telecom's Workforce Scheduling Problem

Operations Research Letters
IndustrialApplied MathematicsManufacturing EngineeringManagement ScienceOperations ResearchSoftware
1997English

Choosing Directions for Rules

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
1987English

Solving Box Constrained Variational Inequalities by Using the Natural Residual With D-Gap Function Globalization

Operations Research Letters
IndustrialApplied MathematicsManufacturing EngineeringManagement ScienceOperations ResearchSoftware
1998English

Ordinal Algorithms for Parallel Machine Scheduling

Operations Research Letters
IndustrialApplied MathematicsManufacturing EngineeringManagement ScienceOperations ResearchSoftware
1996English

Introducing Realistic Savings Patterns in Intertemporal Models

Operations Research Letters
IndustrialApplied MathematicsManufacturing EngineeringManagement ScienceOperations ResearchSoftware
1987English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy