Piotr Wojciechowski

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 21

Top Topics

Integer Program

Top Venues

Discret. Optim.

J. Autom. Reason.

Theory Comput. Syst.

Discret. Appl. Math.

Publications

Vahan Mkrtchyan, Garik Petrosyan, K. Subramani, Piotr Wojciechowski
On the Partial Vertex Cover Problem in Bipartite Graphs - a Parameterized Perspective. Theory Comput. Syst. 68 (1) (2024)
K. Subramani, Piotr Wojciechowski
Constrained read-once refutations in UTVPI constraint systems: A parallel perspective. Math. Struct. Comput. Sci. 34 (3) (2024)
Alvaro Velasquez, Piotr Wojciechowski, K. Subramani, Matthew D. Williamson
Arc-dependent networks: theoretical insights and a computational study. Ann. Oper. Res. 338 (2) (2024)
Piotr Wojciechowski, K. Subramani
Proving the infeasibility of Horn formulas through read-once resolution. Discret. Appl. Math. 354 (2024)
K. Subramani, Piotr Wojciechowski
On the Computational Complexities of Finding Selected Refutations of Linear Programs. ISAIM (2024)
Piotr Wojciechowski, K. Subramani, Alvaro Velasquez, Bugra Çaskurlu
Priority-based bin packing with subset constraints. Discret. Appl. Math. 342 (2024)
K. Subramani, Piotr Wojciechowski
Unit Read-once Refutations for Systems of Difference Constraints. Theory Comput. Syst. 67 (4) (2023)
Piotr Wojciechowski, K. Subramani
A Faster Algorithm for Determining the Linear Feasibility of Systems of BTVPI Constraints. SOFSEM (2023)
Alvaro Velasquez, K. Subramani, Piotr Wojciechowski
Reachability problems in interval-constrained and cardinality-constrained graphs. Discret. Math. Algorithms Appl. 15 (4) (2023)
K. Subramani, Piotr Wojciechowski
Optimal length cutting plane refutations of integer programs. Discret. Optim. 50 (2023)
Piotr Wojciechowski, K. Subramani, Alvaro Velasquez
Reachability in choice networks. Discret. Optim. 48 (Part 1) (2023)
K. Subramani, Piotr Wojciechowski
Optimal Length Cutting Plane Refutations of Integer Programs. CALDAM (2023)
Alvaro Velasquez, Ismail Alkhouri, K. Subramani, Piotr Wojciechowski, George K. Atia
Optimal Deterministic Controller Synthesis from Steady-State Distributions. J. Autom. Reason. 67 (1) (2023)
Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski
The Octatope Abstract Domain for Verification of Neural Networks. FM (2023)
Piotr Wojciechowski, K. Subramani, Alvaro Velasquez
Analyzing the Reachability Problem in Choice Networks. CPAIOR (2022)
K. Subramani, Piotr Wojciechowski, Ying Sheng
Read-once refutations in Horn constraint systems: an algorithmic approach. J. Log. Comput. 32 (4) (2022)
Alvaro Velasquez, K. Subramani, Piotr Wojciechowski
On the complexity of and solutions to the minimum stopping and trapping set problems. Theor. Comput. Sci. 915 (2022)
Piotr Wojciechowski, K. Subramani, R. Chandrasekaran
Analyzing Read-Once Cutting Plane Proofs in Horn Systems. J. Autom. Reason. 66 (2) (2022)
K. Subramani, Piotr Wojciechowski, Alvaro Velasquez
New Results in Priority-Based Bin Packing. ALGOCLOUD (2022)
Piotr Wojciechowski, Matthew D. Williamson, K. Subramani
On the analysis of optimization problems in arc-dependent networks. Discret. Optim. 45 (2022)
Piotr Wojciechowski, K. Subramani
On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems. Ann. Math. Artif. Intell. 90 (10) (2022)