Search results
From MaRDI portal
- Paper A conflict-directed approach to chance-constrained mixed logical linear programming 2023-10-04 Paper World city networks shaped by the global financing...10 bytes (16 words) - 16:30, 24 September 2023
- Type A conflict-directed approach to chance-constrained mixed logical linear programming 2023-10-04 Paper An anytime algorithm for constrained stochastic...10 bytes (18 words) - 10:08, 24 September 2023
- of data via mixed 0-1 integer and linear programming 2010-09-01 Paper MILP approach to pattern generation in logical analysis of data 2009-06-30 Paper...10 bytes (18 words) - 03:55, 9 December 2023
- 2015-03-23 Paper Linear logical relations and observational equivalences for session-based concurrency 2014-11-28 Paper A Linear Logic Programming Language for...10 bytes (17 words) - 18:03, 9 December 2023
- 2017-06-14 Paper A Contextual Logical Framework 2016-01-12 Paper Choreographies, Logically 2014-09-15 Paper A Meta Linear Logical Framework 2014-01-10 Paper...10 bytes (16 words) - 18:03, 9 December 2023
- methods 2021-09-02 Paper Minimum linear arrangements 2018-04-09 Paper Multi-pattern generation framework for logical analysis of data 2017-03-07 Paper...10 bytes (18 words) - 10:12, 11 December 2023
- Satisfaction in Integer Programming 2012-05-30 Paper The problem with integer programming 2011-07-28 Paper Logic and integer programming 2009-02-03 Paper Models...10 bytes (18 words) - 13:31, 8 December 2023
- in robust linear programming 2016-10-25 Paper https://portal.mardi4nfdi.de/entity/Q4231136 1999-03-10 Paper On the minimum number of logical clauses inferred...10 bytes (19 words) - 02:07, 11 December 2023
- https://portal.mardi4nfdi.de/entity/Q5089001 2022-07-18 Paper A focused linear logical framework and its application to metatheory of object logics 2022-01-20...10 bytes (18 words) - 12:30, 9 December 2023
- stochastic mixed integer programming 2009-11-27 Paper On multistage stochastic integer programming for incorporating logical constraints in asset and liability...10 bytes (18 words) - 01:33, 11 December 2023
- structured-modular composition programming technology 1996-08-25 Paper A methodology of structured-modular composition programming 1996-03-27 Paper Theoretical...10 bytes (18 words) - 10:02, 9 December 2023
- Deriving logical relations from interpretations of predicate logic 2022-04-29 Paper Induction using term orderings 2020-01-21 Paper A logical view of assignments...10 bytes (18 words) - 01:41, 10 December 2023
- method for linear programming through the least squares approach 1995-05-08 Paper An Interior Point Column Generation Method for Linear Programming Using Shifted...10 bytes (18 words) - 14:35, 7 December 2023
- 2009-01-27 Paper Fuzzy goal programming for a type of quality control problem: a case study 2008-03-19 Paper Stochastic linear programming and decision: a fuzzy...10 bytes (18 words) - 23:58, 10 December 2023
- constrained uncertain discrete-time linear systems 2017-06-20 Paper Model predictive control based on linear programming - the explicit solution 2017-06-20...10 bytes (17 words) - 23:55, 8 December 2023
- indices in linear programming modelling and their integration with relational data models 1995-11-23 Paper Tools for reformulating logical forms into zero-one...10 bytes (16 words) - 15:09, 13 December 2023
- Leader-Follower Team Via Linear Consensus 2008-09-02 Paper The weak lambda calculus as a reasonable machine 2008-06-24 Paper Logical Approaches to Computational...10 bytes (17 words) - 11:23, 12 December 2023
- de/entity/Q4453013 2004-03-07 Paper Progress in Linear Programming-Based Algorithms for Integer Programming: An Exposition 2003-11-06 Paper https://portal...10 bytes (19 words) - 16:29, 6 December 2023
- Tools for reformulating logical forms into zero-one mixed integer programs 1994-03-13 Paper A linear and discrete programming framework for representing...10 bytes (17 words) - 18:57, 9 December 2023
- projection successive overrelaxation for symmetric linear complementarity problems and linear programs 1992-10-18 Paper Multi-sweep asynchronous parallel...10 bytes (19 words) - 22:54, 11 December 2023
