Marek Piotrów

26 papers A* 1A 2B 8Journal 13Unranked 2
YearRankTypeTitle / Venue / Authors
2022 B conf
Reusing Comparator Networks in Pseudo-Boolean Encodings.
ICTAI
Michal Karpinski, Marek Piotrów
2022 J jnl
Reusing Comparator Networks in Pseudo-Boolean Encodings.
CoRR
Michal Karpinski, Marek Piotrów
2020 A conf
Incremental Encoding of Pseudo-Boolean Goal Functions Based on Comparator Networks.
SAT
Michal Karpinski, Marek Piotrów
2020 B conf
UWrMaxSat: Efficient Solver for MaxSAT and Pseudo-Boolean Problems.
ICTAI
Marek Piotrów
2019 J jnl
Encoding cardinality constraints using multiway merge selection networks.
Constraints An Int. J.
Michal Karpinski, Marek Piotrów
2018 — conf
Competitive Sorter-based Encoding of PB-Constraints into SAT.
POS@SAT
Michal Karpinski, Marek Piotrów
2017 J jnl
Encoding Cardinality Constraints using Generalized Selection Networks.
CoRR
Michal Karpinski, Marek Piotrów
2016 J jnl
Faster merging networks with a small constant period.
Theor. Comput. Sci.
Marek Piotrów
2015 A conf
Smaller Selection Networks for Cardinality Constraints Encoding.
CP
Michal Karpinski, Marek Piotrów
2015 J jnl
Smaller Selection Networks for Cardinality Constraints Encoding.
CoRR
Michal Karpinski, Marek Piotrów
2014 B conf
Brief announcement: faster 3-periodic merging networks.
SPAA
Marek Piotrów
2014 J jnl
Faster 3-Periodic Merging Networks.
CoRR
Marek Piotrów
2014 J jnl
Faster Small-Constant-Periodic Merging Networks.
CoRR
Marek Piotrów
2004 J jnl
Depth Optimal Sorting Networks Resistant to k Passive Faults.
SIAM J. Comput.
Marek Piotrów
2002 J jnl
A note on constructing binary heaps with periodic networks.
Inf. Process. Lett.
Marek Piotrów
2001 B conf
Periodic, random-fault-tolerant correction networks.
SPAA
Marek Piotrów
2000 J jnl
Reliable Minimum Finding Comparator Networks.
Fundam. Informaticae
Piotr Denejko, Krzysztof Diks, Andrzej Pelc, Marek Piotrów
1999 B conf
Correction Networks.
ICPP
Marcin Kik, Miroslaw Kutylowski, Marek Piotrów
1997 J jnl
Sequential and Parallel Approximation of Shortest Superstrings.
J. Algorithms
Artur Czumaj, Leszek Gasieniec, Marek Piotrów, Wojciech Rytter
1996 A* conf
Depth Optimal Sorting Networks Resistant to k Passive Faults.
SODA
Marek Piotrów
1994 — conf
Parallel and Sequential Approximations of Shortest Superstrings.
SWAT
Artur Czumaj, Leszek Gasieniec, Marek Piotrów, Wojciech Rytter
1994 B conf
Reliable Minimum Finding Comparator Networks.
MFCS
Piotr Denejko, Krzysztof Diks, Andrzej Pelc, Marek Piotrów
1991 J jnl
On the Complexity of Counting in the Polynomial Hierarchy.
Theor. Comput. Sci.
Marek Piotrów
1990 B conf
ATIME(N) is Closed Under Counting.
MFCS
Marek Piotrów
1988 B conf
On Complexity of Counting.
MFCS
Marek Piotrów
1987 J jnl
On Reversal Bounded Alternating Turing Machines.
Theor. Comput. Sci.
Maciej Liskiewicz, Krzysztof Lorys, Marek Piotrów