Michal Karpinski

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 13

Top Topics

Cardinality Constraints

Top Venues

Theor. Comput. Sci.

Publications

Michal Karpinski, Marek Piotrów
Reusing Comparator Networks in Pseudo-Boolean Encodings. ICTAI (2022)
Michal Karpinski, Marek Piotrów
Reusing Comparator Networks in Pseudo-Boolean Encodings. CoRR (2022)
Michal Karpinski, Krzysztof Piecuch
Linear-time algorithm for vertex 2-coloring without monochromatic triangles on planar graphs. CoRR (2021)
Michal Karpinski, Marek Piotrów
Incremental Encoding of Pseudo-Boolean Goal Functions Based on Comparator Networks. SAT (2020)
Rohan Soman, Kaleeswaran Balasubramaniam, Ali Golestani, Michal Karpinski, Pawel Malinowski
A Two-Step Guided Waves Based Damage Localization Technique Using Optical Fiber Sensors. Sensors 20 (20) (2020)
Michal Karpinski
CNF Encodings of Cardinality Constraints Based on Comparator Networks. CoRR (2019)
Michal Karpinski, Marek Piotrów
Encoding cardinality constraints using multiway merge selection networks. Constraints An Int. J. 24 (3-4) (2019)
Michal Karpinski, Marek Piotrów
Competitive Sorter-based Encoding of PB-Constraints into SAT. POS@SAT (2018)
Michal Karpinski, Krzysztof Piecuch
On Vertex Coloring Without Monochromatic Triangles. CSR (2018)
Michal Karpinski
Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency. Theor. Comput. Sci. 707 (2018)
Michal Karpinski, Marek Piotrów
Encoding Cardinality Constraints using Generalized Selection Networks. CoRR (2017)
Michal Karpinski, Krzysztof Piecuch
On vertex coloring without monochromatic triangles. CoRR (2017)
Michal Karpinski
Vertex 2-coloring without monochromatic cycles of fixed size is NP-complete. Theor. Comput. Sci. 659 (2017)
Michal Karpinski, Marek Piotrów
Smaller Selection Networks for Cardinality Constraints Encoding. CoRR (2015)
Michal Karpinski, Marek Piotrów
Smaller Selection Networks for Cardinality Constraints Encoding. CP (2015)
Michal Karpinski
Vertex 2-coloring without monochromatic cycles. CoRR (2014)
Mieczyslaw Wodecki, Wojciech Bozejko, Michal Karpinski, Maciej Pacut
Multi-GPU Parallel Memetic Algorithm for Capacitated Vehicle Routing Problem. PPAM (2) (2013)