Optimal Placement of Valves in a Water Distribution Network with CLP(FD)
Optimal Tableau Decision Procedures for PDL
Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability
Optimization of Bound Disjunctive Queries with Constraints
Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic
Order algebras: a quantitative model of interaction
Order-consistent programs are cautiously monotonic
Order-Invariant MSO is Stronger than Counting MSO in the Finite
Ordered Counter-Abstraction
Ordering-based Representations of Rational Inference
Orthomodular Lattices Induced by the Concurrency Relation
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories