Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stephan Melzer
Checking System Properties via Integer Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
GRIP: Global Routing via Integer Programming
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Congestion Analysis for Global Routing via Integer Programming
Solving Integer Quadratic Programming via Explicit and Structural Restrictions
Proceedings of the AAAI Conference on Artificial Intelligence
Modeling Two-Dimensional Guillotine Cutting Problems via Integer Programming
INFORMS Journal on Computing
Management Science
Computer Science Applications
Information Systems
Operations Research
Software
Identification of Piecewise Affine Systems via Mixed-Integer Programming
Automatica
Control
Systems Engineering
Electrical
Electronic Engineering
Accurate Construction of Consensus Genetic Maps via Integer Linear Programming
IEEE/ACM Transactions on Computational Biology and Bioinformatics
Biotechnology
Applied Mathematics
Genetics
Top-K Supervise Feature Selection via ADMM for Integer Programming
An All-Integer Integer Programming Algorithm
Solving Chance-Constrained Stochastic Programs via Sampling and Integer Programming
