1
Publicado 2008
Tabla de Contenidos: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
Enlace del recurso
Electrónico eBook
2
Publicado 2005
Tabla de Contenidos: ... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...
Enlace del recurso
Electrónico eBook
3
Publicado 2010
Tabla de Contenidos: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Enlace del recurso
Electrónico eBook
4
Publicado 2008
Tabla de Contenidos: ... Integer Programs with Choices -- Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing...
Enlace del recurso
Electrónico eBook
5
Publicado 2008
Tabla de Contenidos: ... -- Optimizing Compilation of CHR with Rule Priorities -- Constructive Arithmetic -- Certified Exact Real...
Enlace del recurso
Electrónico eBook
6
Publicado 2007
Tabla de Contenidos: ... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...
Enlace del recurso
Electrónico eBook
7
Publicado 2005
Tabla de Contenidos: ... Languages with Modest Programming Effort -- Compilation of Generic Regular Path Expressions Using C++ Class...
Enlace del recurso
Electrónico eBook
8
... fertilization of fish ponds. A mixed integer linear program (MIP) was utilized for the analysis. The results...
Artículo
9
Publicado 2013
Tabla de Contenidos: ... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...
Enlace del recurso
Electrónico eBook
10
11
Publicado 2006
Tabla de Contenidos: ... by Sequential Integer Linear Programming -- Bio -- Bio-Inspired Material Design and Optimization -- Protein...
Enlace del recurso
Electrónico eBook
12
Publicado 2013
Tabla de Contenidos: ...-integer convex optimization: M.Baes, T.Oertel, Ch.Wagner and R.Weismantel -- On perspective functions...
Enlace del recurso
Electrónico eBook
13
Publicado 2006
Tabla de Contenidos: ...Optimization algorithms -- Interior Point Methods for Large-Scale Linear Programming -- Nonlinear...
Enlace del recurso
Electrónico eBook
14
Publicado 2014
Tabla de Contenidos: ... Product Graphs -- Integer Programming Methods for Special College Admissions Problems -- On the Width...
Enlace del recurso
Electrónico eBook
15
Publicado 2010
Tabla de Contenidos: ... Algorithm for Powerful Alliances in Trees -- NP-Completeness of Spreading Colored Points -- Construction...
Enlace del recurso
Electrónico eBook
16
Publicado 2013
Tabla de Contenidos: ... of Gravity and Mass Interactions for Optimizing Networks -- A Multi-objective Feature Selection Approach...
Enlace del recurso
Electrónico eBook
17
Publicado 2005
Tabla de Contenidos: ... Applying and Experimenting with Scatter Search -- Tabu Search for Mixed Integer Programming -- Scatter...
Enlace del recurso
Electrónico eBook
18
por Briskorn, Dirk., Briskorn, Dirk.
Publicado 2008
Materias: ...Optimization. https://scigraph.springernature.com/ontologies/product-market-codes/M26008...
Enlace del recurso
Electrónico eBook
19
Publicado 2008
Tabla de Contenidos: ...Hybrid Metaheuristics: An Introduction -- Combining (Integer) Linear Programming Techniques...
Enlace del recurso
Electrónico eBook
20
Publicado 2008
Tabla de Contenidos: ... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...
Enlace del recurso
Electrónico eBook