Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

A Mechanically Verified Language Implementation

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English

Maximum Algebraic Connectivity Augmentation Is NP-hard

Operations Research Letters

Applied Mathematics

Manufacturing Engineering

Management Science

Operations Research

English

A New Moment Matching Algorithm for Sampling From Partially Specified Symmetric Distributions

Operations Research Letters

Applied Mathematics

Manufacturing Engineering

Management Science

Operations Research

English

An Improved On-Line Algorithm for Scheduling on Two Unrestrictive Parallel Batch Processing Machines

Operations Research Letters

Applied Mathematics

Manufacturing Engineering

Management Science

Operations Research

English

An Algorithm for Indefinite Quadratic Programming With Convex Constraints

Operations Research Letters

Applied Mathematics

Manufacturing Engineering

Management Science

Operations Research

English

Backdoor Sets of Quantified Boolean Formulas

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English

On Polling Systems With Large Setups

Operations Research Letters

Applied Mathematics

Manufacturing Engineering

Management Science

Operations Research

English

Reasoning About Object-Based Calculi in (Co)Inductive Type Theory and the Theory of Contexts

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English

Upper-Bounds for Quadratic 0–1 Maximization

Operations Research Letters

Applied Mathematics

Manufacturing Engineering

Management Science

Operations Research

English

Flow Pack Facets of the Single Node Fixed-Charge Flow Polytope

Operations Research Letters

Applied Mathematics

Manufacturing Engineering

Management Science

Operations Research

English