نتائج البحث

Conflict Analysis for MINLP

• Authors : Berthold, Timo; Witzig, Jakob

تفاصيل العنوان

A Safe Computational Framework for Integer Programming applied to Chvátal's Conjecture

• Authors : Eifler, Leon; Gleixner, Ambros; Pulaj, Jonad

تفاصيل العنوان

A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming

• Authors : Witzig, Jakob; Berthold, Timo; Heinz, Stefan

تفاصيل العنوان

A Combinatorial Proof of a König-type Theorem for Unimodular Hypergraphs

• Authors : Beckenbach, Isabel; Peis, Britta; Schaudt, Oliver

تفاصيل العنوان

A family of sparse polynomial systems arising in chemical reaction systems

• Authors : Gatermann, Karin; Huber, Birkett

Subjects: ddc:000

تفاصيل العنوان

Graph coloring with local constraints - A survey

• Authors : Tuza, Zsolt

Subjects: ddc:000

تفاصيل العنوان

Gröbner Bases and Triangles

• Authors : Koepf, Wolfram

Subjects: ddc:000

تفاصيل العنوان

Weinstein's Functions and the Askey-Gasper Identity

• Authors : Koepf, Wolfram; Schmersau, Dieter

Subjects: ddc:000

تفاصيل العنوان

Homogenization of Highly Oscillatory Hamiltonian Systems

• Authors : Bornemann, Folkmar A.; Schütte, Christof

Subjects: ddc:000

تفاصيل العنوان

On the De Branges Theorem

• Authors : Koepf, Wolfram; Schmersau, Dieter

Subjects: ddc:000

تفاصيل العنوان