Piotr J. Wojciechowski

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 47

Top Topics

Randomized Algorithm

Markov Decision Process

Linear Programming

Top Venues

Ann. Math. Artif. Intell.

Theor. Comput. Sci.

Publications

Grega Cigler, Piotr J. Wojciechowski
Algebraic properties of soluble posets. Discret. Appl. Math. 348 (2024)
K. Subramani, Piotr J. Wojciechowski
Integer Feasibility and Refutations in UTVPI Constraints Using Bit-Scaling. Algorithmica 85 (2) (2023)
K. Subramani, Piotr J. Wojciechowski
Parameterized and Exact-Exponential Algorithms for the Read-Once Integer Refutation Problem in UTVPI Constraints. COCOA (2) (2023)
Piotr J. Wojciechowski, K. Subramani, Alvaro Velasquez, Matthew D. Williamson
On the Approximability of Path and Cycle Problems in Arc-Dependent Networks. CALDAM (2022)
K. Subramani, Piotr J. Wojciechowski
On the Parallel Complexity of Constrained Read-Once Refutations in UTVPI Constraint Systems. TAMC (2022)
K. Subramani, Piotr J. Wojciechowski
Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas. Ann. Math. Artif. Intell. 90 (1) (2022)
K. Subramani, Piotr J. Wojciechowski
Exact and Parameterized Algorithms for Read-Once Refutations in Horn Constraint Systems. LFCS (2022)
Piotr J. Wojciechowski, K. Subramani, Matthew D. Williamson
Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints. Discret. Appl. Math. 305 (2021)
Piotr J. Wojciechowski, K. Subramani
Copy complexity of Horn formulas with respect to unit read-once resolution. Theor. Comput. Sci. 890 (2021)
K. Subramani, Piotr J. Wojciechowski
Tree-Like Unit Refutations in Horn Constraint Systems. LATA (2021)
K. Subramani, Piotr J. Wojciechowski
On the parametrized complexity of read-once refutations in UTVPI+ constraint systems. Theor. Comput. Sci. 883 (2021)
Piotr J. Wojciechowski, K. Subramani, Alvaro Velasquez, Bugra Caskurlu
Algorithmic Analysis of Priority-Based Bin Packing. CALDAM (2021)
K. Subramani, Piotr J. Wojciechowski
Analyzing Unit Read-Once Refutations in Difference Constraint Systems. JELIA (2021)
Utku Umur Acikalin, Bugra Caskurlu, Piotr J. Wojciechowski, K. Subramani
New Results on Test-Cost Minimization in Database Migration. ALGOCLOUD (2021)
K. Subramani, Piotr J. Wojciechowski, Alvaro Velasquez
On the Copy Complexity of Width 3 Horn Constraint Systems. FroCoS (2021)
Hans Kleine Büning, Piotr J. Wojciechowski, K. Subramani
NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability. Math. Struct. Comput. Sci. 30 (7) (2020)
Piotr J. Wojciechowski, R. Chandrasekaran, K. Subramani
Analyzing fractional Horn constraint systems. Theor. Comput. Sci. 844 (2020)
Vahan Mkrtchyan, Garik Petrosyan, K. Subramani, Piotr J. Wojciechowski
Parameterized Algorithms for Partial Vertex Covers in Bipartite Graphs. IWOCA (2020)
K. Subramani, Piotr J. Wojciechowski
On integer closure in a system of unit two variable per inequality constraints. Ann. Math. Artif. Intell. 88 (10) (2020)
K. Subramani, Piotr J. Wojciechowski
Finding read-once refutations in 2CNF formulas and variants - a parameterized perspective. ISAIM (2020)
Piotr J. Wojciechowski, Matthew D. Williamson, K. Subramani
On Finding Shortest Paths in Arc-Dependent Networks. ISCO (2020)
Piotr J. Wojciechowski, K. Subramani
On Unit Read-Once Resolutions and Copy Complexity. COCOA (2020)
K. Subramani, Piotr J. Wojciechowski
A Graphical Analysis of Integer Infeasibility in UTVPI Constraints. AI*IA (2019)
K. Subramani, Piotr J. Wojciechowski
A Polynomial Time Algorithm for Read-Once Certification of Linear Infeasibility in UTVPI Constraints. Algorithmica 81 (7) (2019)
Hans Kleine Büning, Piotr J. Wojciechowski, R. Chandrasekaran, K. Subramani
Restricted Cutting Plane Proofs in Horn Constraint Systems. FroCos (2019)
K. Subramani, Piotr J. Wojciechowski
Read-Once Certification of Linear Infeasibility in UTVPI Constraints. TAMC (2019)
Hans Kleine Büning, Piotr J. Wojciechowski, K. Subramani
Read-Once Resolutions in Horn Formulas. FAW (2019)
Hans Kleine Büning, Piotr J. Wojciechowski, K. Subramani
New Results on Cutting Plane Proofs for Horn Constraint Systems. FSTTCS (2019)
Bugra Caskurlu, Matthew D. Williamson, K. Subramani, Vahan Mkrtchyan, Piotr J. Wojciechowski
A Fully Polynomial Time Approximation Scheme for Refutations in Weighted Difference Constraint Systems. CALDAM (2018)
James B. Orlin, K. Subramani, Piotr J. Wojciechowski
Randomized algorithms for finding the shortest negative cost cycle in networks. Discret. Appl. Math. 236 (2018)
K. Subramani, Piotr J. Wojciechowski
A certifying algorithm for lattice point feasibility in a system of UTVPI constraints. J. Comb. Optim. 35 (2) (2018)
Piotr J. Wojciechowski, K. Subramani, Matthew D. Williamson
Optimal Length Tree-Like Refutations of Linear Feasibility in UTVPI Constraints. FAW (2018)
K. Subramani, Piotr J. Wojciechowski, Zachary Santer, Matthew Anderson
An Empirical Analysis of Feasibility Checking Algorithms for UTVPI Constraints. AAIM (2018)
Hans Kleine Büning, Piotr J. Wojciechowski, K. Subramani
Finding read-once resolution refutations in systems of 2CNF clauses. Theor. Comput. Sci. 729 (2018)
Piotr J. Wojciechowski, Pavlos Eirinakis, K. Subramani
Analyzing restricted fragments of the theory of linear arithmetic. Ann. Math. Artif. Intell. 79 (1-3) (2017)
K. Subramani, Piotr J. Wojciechowski
Analyzing Lattice Point Feasibility in UTVPI Constraints. CP (2017)
Hans Kleine Büning, Piotr J. Wojciechowski, K. Subramani
The Complexity of Finding Read-Once NAE-Resolution Refutations. ICLA (2017)
Hans Kleine Büning, Piotr J. Wojciechowski, K. Subramani
On the Computational Complexity of Read once Resolution Decidability in 2CNF Formulas. TAMC (2017)
K. Subramani, Piotr J. Wojciechowski
A Combinatorial Certifying Algorithm for Linear Feasibility in UTVPI Constraints. Algorithmica 78 (1) (2017)
Piotr J. Wojciechowski, Pavlos Eirinakis, K. Subramani
Erratum to: Analyzing restricted fragments of the theory of linear arithmetic. Ann. Math. Artif. Intell. 79 (4) (2017)
Piotr J. Wojciechowski, Ramaswamy Chandrasekaran, K. Subramani
On a Generalization of Horn Constraint Systems. CSR (2017)
Piotr J. Wojciechowski, K. Subramani, Pavlos Eirinakis
On the computational complexities of Quantified Integer Programming variants. ISAIM (2016)
K. Subramani, Piotr J. Wojciechowski
A Bit-Scaling Algorithm for Integer Feasibility in UTVPI Constraints. IWOCA (2016)
Alvaro Velasquez, Piotr J. Wojciechowski, K. Subramani, Steven L. Drager, Sumit Kumar Jha
The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networks. NCA (2016)
Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr J. Wojciechowski
Compositional Bisimulation Minimization for Interval Markov Decision Processes. LATA (2016)
Hans Kleine Büning, Piotr J. Wojciechowski, K. Subramani
On the computational complexity of read once resolution decidability in 2CNF formulas. CoRR (2016)
K. Subramani, Piotr J. Wojciechowski
An Optimal Algorithm for Computing the Integer Closure of UTVPI Constraints. WALCOM (2016)
K. Subramani, Piotr J. Wojciechowski
A Graphical Theorem of the Alternative for UTVPI Constraints. ICTAC (2015)
Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr J. Wojciechowski
On quantified linear implications. Ann. Math. Artif. Intell. 71 (4) (2014)
Salvatore Ruggieri, Pavlos Eirinakis, K. Subramani, Piotr J. Wojciechowski
On the complexity of quantified linear systems. Theor. Comput. Sci. 518 (2014)
Piotr J. Wojciechowski, Pavlos Eirinakis, K. Subramani
Variants of Quantified Linear Programming and Quantified Linear Implication. ISAIM (2014)
Dominik Gront, Maciej Blaszczyk, Piotr J. Wojciechowski, Andrzej Kolinski
BioShell Threader: protein homology detection based on sequence profiles and secondary structure profiles. Nucleic Acids Res. 40 (Web-Server-Issue) (2012)
Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr J. Wojciechowski
Computational complexity of inclusion queries over polyhedral sets. ISAIM (2012)
Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr J. Wojciechowski
A complexity perspective on entailment of parameterized linear constraints. Constraints An Int. J. 17 (4) (2012)
Alex J. Ruiz-Torres, Francisco J. López, Piotr J. Wojciechowski, Johnny C. Ho
Parallel machine scheduling problems considering regular measures of performance and machine cost. J. Oper. Res. Soc. 61 (5) (2010)
Piotr J. Wojciechowski
PMV-Algebras of Matrices. J. Multiple Valued Log. Soft Comput. 16 (1-2) (2010)
Wieslaw Dziobiak, A. V. Kravchenko, Piotr J. Wojciechowski
Equivalents for a Quasivariety to be Generated by a Single Structure. Stud Logica 91 (1) (2009)
Paul J. Tanenbaum, Carlos de la Mora, Piotr J. Wojciechowski, Olga Kosheleva, Vladik Kreinovich, Scott A. Starks, Alexandr V. Kuzminykh
Robust Methodology for Characterizing System Response to Damage: Approach Based on Partial Order. LSSC (2003)
Jingjing Ma, Piotr J. Wojciechowski
F*-Rings Are O*. Order 17 (2) (2000)
Hung T. Nguyen, Vladik Kreinovich, Piotr J. Wojciechowski
Strict Archimedean t-norms and t-conorms as universal approximators. Int. J. Approx. Reason. 18 (3-4) (1998)
Eric R. Scerri, Vladik Kreinovich, Piotr J. Wojciechowski, Ronald R. Yager
Ordinal Explanation of the Periodic System of Chemical Elements. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 6 (4) (1998)