Search Sciweavers | Sciweavers

5378 search results - page 187 / 1076

» Base Logics in Argumentation

189

click to vote

ANOR
2005

89views more ANOR 2005»

Logic-Based Modeling and Solution of Nonlinear Discrete/Continuous Optimization Problems

15 years 6 months ago

Download egon.cheme.cmu.edu

This paper presents a review of advances in the mathematical programming approach to discrete/continuous optimization problems. We first present a brief review of MILP and MINLP f...

Sangbum Lee, Ignacio E. Grossmann

claim paper

Read More »

185

click to vote

IOR
2007

106views more IOR 2007»

Planning and Scheduling by Logic-Based Benders Decomposition

15 years 6 months ago

Download wpweb2.tepper.cmu.edu

We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve an important class of planning and scheduling problems. Tasks are allocated to faciliti...

John N. Hooker

claim paper

Read More »

118

click to vote

JUCS
2007

84views more JUCS 2007»

On the Forcing Semantics for Monoidal t-norm Based Logic

15 years 6 months ago