Piotr J. Wojciechowski
West Virginia University
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Piotr J. Wojciechowski.
Algorithmica | 2017
K. Subramani; Piotr J. Wojciechowski
In this paper, we discuss a new combinatorial certifying algorithm for the problem of checking linear feasibility in Unit Two Variable Per Inequality (UTVPI) constraints. A UTVPI constraint has at most two non-zero variables and the coefficients of the non-zero variables belong to the set
Annals of Mathematics and Artificial Intelligence | 2014
Pavlos Eirinakis; Salvatore Ruggieri; K. Subramani; Piotr J. Wojciechowski
language and automata theory and applications | 2016
Vahid Hashemi; Holger Hermanns; Lei Song; K. Subramani; Andrea Turrini; Piotr J. Wojciechowski
\{+1,\ -1\}
theory and applications of models of computation | 2017
Hans Kleine Büning; Piotr J. Wojciechowski; K. Subramani
Constraints - An International Journal | 2012
Pavlos Eirinakis; Salvatore Ruggieri; K. Subramani; Piotr J. Wojciechowski
{+1,-1}. These constraints occur in a number of application domains, including but not limited to program verification, abstract interpretation, and operations research. The proposed algorithm runs in
Annals of Mathematics and Artificial Intelligence | 2017
Piotr J. Wojciechowski; Pavlos Eirinakis; K. Subramani
Theoretical Computer Science | 2018
Hans Kleine Büning; Piotr J. Wojciechowski; K. Subramani
O(m\cdot n)
International Workshop on Frontiers in Algorithmics | 2018
Piotr J. Wojciechowski; K. Subramani; Matthew D. Williamson
Conference on Algorithms and Discrete Applied Mathematics | 2018
Bugra Caskurlu; Matthew D. Williamson; K. Subramani; Vahan Mkrtchyan; Piotr J. Wojciechowski
O(m·n) time and
principles and practice of constraint programming | 2017
K. Subramani; Piotr J. Wojciechowski
Collaboration
Dive into the Piotr J. Wojciechowski's collaboration.
