• Suche: Property checking with constraint integer programming

Treffer 1 - 20 von 29.229

1

Orbit-finite Linear Programming.
Ghosh, Arka ; Hofman, Piotr ; Lasota, Sławomir
Journal of the ACM. Feb2025, Vol. 72 Issue 1, p1-39. 39p.

Fachzeitschrift
Merkliste
2

Sparse Integer Programming Is Fixed-Parameter Tractable.
Eisenbrand, Friedrich ; Hunkenschröder, Christoph ; Klein, Kim-Manuel ; et al.
Mathematics of Operations Research. Aug2025, Vol. 50 Issue 3, p2141-2156. 16p.

Fachzeitschrift
Merkliste
3

Single machine scheduling with variable maintenance in the battery manufacturing.
Lee, Sang-Wook ; Kim, Hyun-Jung
International Journal of Production Research. Dec2025, Vol. 63 Issue 23, p8859-8879. 21p.

Fachzeitschrift
Merkliste
4

Property checking with constraint integer programming
Tobias Achterberg ; Raik Brinkmann ; Markus Wedler ; et al.
http://opus4.kobv.de/opus4-zib/frontdoor/deliver/index/docId/1037/file/ZR_07_37.pdf.

SoC design verification property checking constraint pro- gramming integer
Fachzeitschrift
Merkliste
5

The Parallel Epsilon Algorithm for Triobjective Integer Optimization Problems.
Prinz, Kathrin ; Ruzika, Stefan
INFORMS Journal on Computing. Nov2025, p1. 22p.

Fachzeitschrift
Merkliste
6

Dieses Ergebnis kann Gästen nicht angezeigt werden.

7

Characterization of matrices with bounded Graver bases and depth parameters and applications to integer programming.
Briański, Marcin ; Koutecký, Martin ; Král', Daniel ; et al.
Mathematical Programming. Nov2024, Vol. 208 Issue 1/2, p497-531. 35p.

Fachzeitschrift
Merkliste
8

Advances on strictly Δ-modular IPs: Advances on strictly Δ-modular IPs: M. Nägele et al.
Nägele, Martin ; Nöbel, Christian ; Santiago, Richard ; et al.
Mathematical Programming. Mar2025, Vol. 210 Issue 1, p731-760. 30p.

Fachzeitschrift
Merkliste
9

The Freight Transportation Network Scheduling Problem: An Integer Programming-Based Column Generation Algorithm.
Hewitt, Mike ; Lehuédé, Fabien
INFORMS Journal on Computing. Jun2025, p1. 19p.

Fachzeitschrift
Merkliste
10

Integer Programming, Constraint Programming, and Hybrid Decomposition Approaches to Discretizable Distance Geometry Problems.
MacNeil, Moira ; Bodur, Merve
INFORMS Journal on Computing. Winter2022, Vol. 34 Issue 1, p297-314. 18p.

Fachzeitschrift
Merkliste
11

Shapley–Scarf Housing Markets: Respecting Improvement, Integer Programming, and Kidney Exchange.
Biró, Péter ; Klijn, Flip ; Klimentova, Xenia ; et al.
Mathematics of Operations Research. Aug2024, Vol. 49 Issue 3, p1938-1972. 35p.

Fachzeitschrift
Merkliste
12

From an Interior Point to a Corner Point: Smart Crossover.
Ge, Dongdong ; Wang, Chengwenjian ; Xiong, Zikai ; et al.
INFORMS Journal on Computing. Nov/Dec2025, Vol. 37 Issue 6, p1670-1688. 19p.

Fachzeitschrift
Merkliste
13

Bilevel Integer Programs with Stochastic Right-Hand Sides.
Zhang, Junlong ; Özaltın, Osman Y.
INFORMS Journal on Computing. 2021, Vol. 33 Issue 4, p1644-1660. 17p.

Fachzeitschrift
Merkliste
14

Optimising batch scheduling on non-identical parallel machines: lower bounds, MIP, branch-and-price, and heuristics.
ElWakil, Mohamed ; Lersteau, Charly ; Shen, Weiming ; et al.
International Journal of Production Research. Dec2025, Vol. 63 Issue 24, p9722-9747. 26p.

Fachzeitschrift
Merkliste
15

Efficient separation of RLT cuts for implicit and explicit bilinear terms: Efficient separation of RLT cuts for implicit and explicit...: K. Bestuzheva et al.
Bestuzheva, Ksenia ; Gleixner, Ambros ; Achterberg, Tobias
Mathematical Programming. Mar2025, Vol. 210 Issue 1, p47-74. 28p.

Fachzeitschrift
Merkliste
16

Property Checking with Constraint Integer Programming
Achterberg, Tobias ; Brinkmann, Raik ; Wedler, Markus

ddc:510
Report
Merkliste
17

Dyadic linear programming and extensions.
Abdi, Ahmad ; Cornuéjols, Gérard ; Guenin, Bertrand ; et al.
Mathematical Programming. Sep2025, Vol. 213 Issue 1/2, p473-516. 44p.

Fachzeitschrift
Merkliste
18

Degree Distribution Preserving Network Sampling: The Case of Relational Learning.
Ghoshal, Abhijeet ; Menon, Syam ; Sarkar, Sumit
INFORMS Journal on Computing. Nov2025, p1. 17p.

Fachzeitschrift
Merkliste
19

Integer programming formulations for the k$k$‐in‐a‐tree problem in graphs.
Ferreira, Lucas Saldanha ; Santos, Vinicius Fernandes dos ; Valle, Cristiano Arbex
International Transactions in Operational Research. Sep2024, Vol. 31 Issue 5, p3090-3107. 18p.

Fachzeitschrift
Merkliste
20

On the optimality of pseudo-polynomial algorithms for integer programming.
Fomin, Fedor V. ; Panolan, Fahad ; Ramanujan, M. S. ; et al.
Mathematical Programming. Mar2023, Vol. 198 Issue 1, p561-593. 33p.

Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter