Search results
From MaRDI portal
- Formal semantics applied to the implementation of a skeleton-based parallel programming library 2009-02-09 Paper Managing algorithmic skeleton nesting requirements...10 bytes (13 words) - 08:10, 24 September 2023
- Formal semantics applied to the implementation of a skeleton-based parallel programming library 2009-02-09 Paper...10 bytes (13 words) - 18:19, 24 September 2023
- the 6th mixed-integer programming library 2021-12-27 Paper A computational status update for exact rational mixed integer programming 2021-12-21 Paper The...10 bytes (17 words) - 06:09, 7 October 2023
- 6th mixed-integer programming library 2021-01-07 Paper Tackling industrial-scale supply chain problems by mixed-integer programming 2020-10-27 Paper Building...10 bytes (15 words) - 08:50, 6 October 2023
- scalable parallel interior point algorithm for stochastic linear programming and robust optimization 1997-08-07 Paper A stochastic programming model for...10 bytes (15 words) - 04:48, 9 December 2023
- algorithm for quadratic zero- one programming 1990-01-01 Paper Parallel branch and bound algorithms for quadratic zero-one programs on the hypercube architecture...10 bytes (17 words) - 13:56, 7 December 2023
- with multiple colours 2023-08-03 Paper Mixed Integer Linear Programming for a Real-World Parallel Machine Scheduling Problem with Workforce and Precedence...10 bytes (14 words) - 23:59, 24 September 2023
- equilibrium problems using extended mathematical programming 2020-02-05 Paper The Power Grid Library for Benchmarking AC Optimal Power Flow Algorithms...10 bytes (15 words) - 17:51, 9 December 2023
- polynomial arithmetic with the BPAS library 2018-10-23 Paper CUMODP 2018-08-03 Paper The \texttt{Polyhedra} library in \textsc{Maple} 2018-08-03 Paper Computing...10 bytes (15 words) - 05:35, 7 October 2023
- Parallelizable Modeling Language for Mathematical Programming 2009-03-12 Paper High-Performance Parallel Support Vector Machine Training 2009-03-12 Paper...10 bytes (13 words) - 16:36, 8 December 2023
- Decomposition in integer linear programming 2006-02-20 Paper A library hierarchy for implementing scalable parallel search algorithms 2005-04-07 Paper https://portal...10 bytes (15 words) - 18:29, 11 December 2023
- Type Parallel Programming 2013-12-13 Paper Programming support and scheduling for communicating parallel tasks 2013-08-22 Paper Parallel Programming 2010-11-17...10 bytes (13 words) - 11:35, 7 October 2023
- isolation 2020-06-30 Paper Parallel Programming 2013-12-13 Paper Programming support and scheduling for communicating parallel tasks 2013-08-22 Paper An...10 bytes (14 words) - 13:35, 11 December 2023
- Paper Practical financial optimization. A library of GAMS models 2011-04-12 Paper A two-factor, stochastic programming model of Danish mortgage-backed securities...10 bytes (15 words) - 05:48, 13 December 2023
- Inequalities for 0-1 Integer Programs: Complexity 2003-12-16 Paper Progress in Linear Programming-Based Algorithms for Integer Programming: An Exposition 2003-11-06...10 bytes (17 words) - 15:36, 6 December 2023
- of sciences and a technology for developing digital libraries 2002-04-15 Paper Parallel programming of boundary-valued problems for the Poisson and Helmholtz...10 bytes (15 words) - 01:55, 7 October 2023
- Jdrasil: a modular library for computing tree decompositions 2018-08-13 Paper Parallel Multivariate Meta-Theorems 2018-04-10 Paper Fast parallel fixed-parameter...10 bytes (13 words) - 11:35, 24 September 2023
- Paper A modeling layer for constraint-programming libraries 2012-06-18 Paper Constraint and integer programming in OPL 2012-05-30 Paper An anytime multistep...10 bytes (16 words) - 00:06, 10 December 2023
- Unconstrained Convex Programming Approach to Linear Semi-Infinite Programming 1998-05-12 Paper Parametric linear semi-infinite programming 1996-08-11 Paper...10 bytes (17 words) - 20:49, 8 December 2023
- of serial and parallel shared-memory distance-1 graph coloring algorithms 2019-06-05 Paper ViennaMaterials -- a dedicated material library for computational...10 bytes (15 words) - 14:13, 12 December 2023
