Michal Karpinski

17 papers A 2B 1Misc 1Journal 11Unranked 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
2021 J jnl
Linear-time algorithm for vertex 2-coloring without monochromatic triangles on planar graphs.
CoRR
Michal Karpinski, Krzysztof Piecuch
2020 J jnl
A Two-Step Guided Waves Based Damage Localization Technique Using Optical Fiber Sensors.
Sensors
Rohan Soman, Kaleeswaran Balasubramaniam, Ali Golestani, Michal Karpinski, Pawel Malinowski
2020 A conf
Incremental Encoding of Pseudo-Boolean Goal Functions Based on Comparator Networks.
SAT
Michal Karpinski, Marek Piotrów
2019 J jnl
CNF Encodings of Cardinality Constraints Based on Comparator Networks.
CoRR
Michal Karpinski
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
2018 J jnl
Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency.
Theor. Comput. Sci.
Michal Karpinski
2018 Misc conf
On Vertex Coloring Without Monochromatic Triangles.
CSR
Michal Karpinski, Krzysztof Piecuch
2017 J jnl
Encoding Cardinality Constraints using Generalized Selection Networks.
CoRR
Michal Karpinski, Marek Piotrów
2017 J jnl
On vertex coloring without monochromatic triangles.
CoRR
Michal Karpinski, Krzysztof Piecuch
2017 J jnl
Vertex 2-coloring without monochromatic cycles of fixed size is NP-complete.
Theor. Comput. Sci.
Michal Karpinski
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 J jnl
Vertex 2-coloring without monochromatic cycles.
CoRR
Michal Karpinski
2013 — conf
Multi-GPU Parallel Memetic Algorithm for Capacitated Vehicle Routing Problem.
PPAM (2)
Mieczyslaw Wodecki, Wojciech Bozejko, Michal Karpinski, Maciej Pacut