Dieter Weninger

Computational Theory and Mathematics · 2015–2020

A researcher in the Science corpus: 3 papers; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

• Computational Theory and Mathematics — 17 citations into it
• Computer Networks and Communications — 14 citations into it

Whom Dieter Weninger trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Tobias Achterberg

Papers from Dieter Weninger's perspective

Ordered by how strongly the researchers Dieter Weninger trusts endorse each paper. Same corpus, a different order for every researcher.

1. Branching rules revisited
2. GRASP: A Search Algorithm for Propositional Satisfiability
3. Primal Heuristics for Mixed Integer Programs
4. Exploring relaxation induced neighborhoods to improve MIP solutions (Mathematical programming)
5. Constraint integer programming
6. Theory of linear and integer programming
7. SCIP: solving constraint integer programs (Mathematical Programming Computation)
8. Local branching (Mathematical programming)
9. Hybrid Branching
10. An algorithm for integer solutions to linear programs

Their papers

• The SCIP Optimization Suite 7.0 (2020) — 650 citations
• The SCIP Optimization Suite 3.2 (2016) — 100 citations
• Progress in presolving for mixed integer programming (2015) — 60 citations