Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

On Orienting Graphs for Connectivity: Projective Planes and Halin Graphs

Operations Research Letters

Applied Mathematics

Manufacturing Engineering

Management Science

Operations Research

English

Erratum To: Extension of a Decision Procedure for a Fragment of Hybrid Logic With Binders

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English

Klee–Minty’s LP and Upper Bounds for Dantzig’s Simplex Method

Operations Research Letters

Applied Mathematics

Manufacturing Engineering

Management Science

Operations Research

English

Interval or Moments: Which Carry More Information?

Theoretical Computer Science

English

Splitting Procedures for the Mixed Capacitated Arc Routing Problem Under Time Restrictions With Intermediate Facilities

Operations Research Letters

Applied Mathematics

Manufacturing Engineering

Management Science

Operations Research

English

A Goal-Directed Decision Procedure for Hybrid PDL

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English

An Adaptive Truncation Criterion, for Linesearch-Based Truncated Newton Methods in Large Scale Nonconvex Optimization

Operations Research Letters

Applied Mathematics

Manufacturing Engineering

Management Science

Operations Research

English

Erratum To: Conflict Resolution: A First-Order Resolution Calculus With Decision Literals and Conflict-Driven Clause Learning

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English

Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English

Special Issue on “Uncertainty Modeling and Analysis With Intervals: Foundations, Tools, Applications”

Theoretical Computer Science

English