Checking System Properties via Integer Programming

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-61055-3_41
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

GRIP: Global Routing via Integer Programming

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ElectricalSoftwareComputer GraphicsComputer-Aided DesignElectronic Engineering
2011English

Congestion Analysis for Global Routing via Integer Programming

2011English

Solving Integer Quadratic Programming via Explicit and Structural Restrictions

Proceedings of the AAAI Conference on Artificial Intelligence
2019English

Modeling Two-Dimensional Guillotine Cutting Problems via Integer Programming

INFORMS Journal on Computing
Management ScienceComputer Science ApplicationsInformation SystemsOperations ResearchSoftware
2016English

Identification of Piecewise Affine Systems via Mixed-Integer Programming

Automatica
ControlSystems EngineeringElectricalElectronic Engineering
2004English

Accurate Construction of Consensus Genetic Maps via Integer Linear Programming

IEEE/ACM Transactions on Computational Biology and Bioinformatics
BiotechnologyApplied MathematicsGenetics
2011English

Top-K Supervise Feature Selection via ADMM for Integer Programming

2017English

An All-Integer Integer Programming Algorithm

1963English

Solving Chance-Constrained Stochastic Programs via Sampling and Integer Programming

2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy