Michal Karpinski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2013–2022
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICTAI | Reusing Comparator Networks in Pseudo-Boolean Encodings. | Michal Karpinski, Marek Piotrw |
| 2020 | SAT | Incremental Encoding of Pseudo-Boolean Goal Functions Based on Comparator Networks. | Michal Karpinski, Marek Piotrw |
| 2018 | CSR | On Vertex Coloring Without Monochromatic Triangles. | Michal Karpinski, Krzysztof Piecuch |
| 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 |
| 2013 | PPAM | Multi-GPU Parallel Memetic Algorithm for Capacitated Vehicle Routing Problem. | Mieczyslaw Wodecki, Wojciech Bozejko, Michal Karpinski, Maciej Pacut |