cs-conference-ranking.org Search 971 venues

Marek Piotrw

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

7

Active years

1988–2022

Best venue rank

A*

Where they publish

Papers

12 indexed papers, newest first.

Year	Venue	Title	Authors
2022	ICTAI	Reusing Comparator Networks in Pseudo-Boolean Encodings.	Michal Karpinski, Marek Piotrw
2020	ICTAI	UWrMaxSat: Efficient Solver for MaxSAT and Pseudo-Boolean Problems.	Marek Piotrw
2020	SAT	Incremental Encoding of Pseudo-Boolean Goal Functions Based on Comparator Networks.	Michal Karpinski, Marek Piotrw
2018	SAT	Competitive Sorter-based Encoding of PB-Constraints into SAT.	Michal Karpinski, Marek Piotrw
2015	CP	Smaller Selection Networks for Cardinality Constraints Encoding.	Michal Karpinski, Marek Piotrw
2014	SPAA	Brief announcement: faster 3-periodic merging networks.	Marek Piotrw
2001	SPAA	Periodic, random-fault-tolerant correction networks.	Marek Piotrw
1999	ICPP	Correction Networks.	Marcin Kik, Miroslaw Kutylowski, Marek Piotrw
1996	SODA	Depth Optimal Sorting Networks Resistant to k Passive Faults.	Marek Piotrw
1994	MFCS	Reliable Minimum Finding Comparator Networks.	Piotr Denejko, Krzysztof Diks, Andrzej Pelc, Marek Piotrw
1990	MFCS	ATIME(N) is Closed Under Counting.	Marek Piotrw
1988	MFCS	On Complexity of Counting.	Marek Piotrw