Thesis

CNF Encodings of Cardinality Constraints Based on Comparator Networks [Download]

Defended on 09.09.2019

Publications

2018:

• Michał Karpiński, Marek Piotrów
  Encoding Cardinality Constraints using Multiway Merge Selection Networks.
  24th International Conference on Principles and Practice of Constraint Programming (CP 2018). [Experimental evaluation] [Journal] [Slides]
• Michał Karpiński, Marek Piotrów
  Competitive Sorter-based Encoding of PB-Constraints into SAT.
  Pragmatics of SAT workshop (POS 2018). [Experimental evaluation] [Proceedings] [Slides]
• Michał Karpiński, Krzysztof Piecuch
  On Vertex Coloring Without Monochromatic Triangles.
  13th International Computer Science Symposium in Russia (CSR 2018). LNCS, vol. 10846, pp. 220-231. [arXiv] [Proceedings] [Slides]
• Michał Karpiński
  Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency.
  Theoret. Comput. Sci., 707C (2018), pp. 77-81. [Journal]

2017:

• Michał Karpiński
  Vertex 2-coloring without monochromatic cycles of fixed size is NP-complete.
  Theoret. Comput. Sci., 659 (10) (2017), pp. 88-94. [arXiv] [Journal]

2015:

• Michał Karpiński, Marek Piotrów
  Smaller Selection Networks for Cardinality Constraints Encoding.
  21st International Conference on Principles and Practice of Constraint Programming (CP 2015). LNCS, vol. 9255, pp. 210-225. [arXiv] [Proceedings] [Slides]

Teaching:

2016/17:

winter:

• Discrete Mathematics (undergraduate), exercise session, Thursdays 10-12, room 103 (course page)
• Course: Basic Tool-set of Computer Scientist, laboratory session, Thursdays 14-15, room 108 (course page)

2015/16:

summer:

• Databases, exercise/laboratory session, Tuesdays 12-14, rooms 104,110 (course page)
• Object Oriented Programming, exercise/laboratory session, Tuesdays 14-16, rooms 105,110 (course page)

2014/15:

summer:

• Databases, exercise/laboratory session, Wednesdays 14-16, rooms 104,7 (course page)

winter:

• Course: Ruby, laboratory session, Mondays 12-14, room 107 (course page)
• Course: Ruby on Rails, laboratory session, Mondays 14-16, off-line

2013/14:

summer:

• Databases, exercise/laboratory session, Wednesdays 14-16, rooms 105,107 (course page)

winter:

• Introduction to Programming in C, laboratory session, Fridays 8-10, room 107 (course page, projects)
• Introduction to Computer Science and Programming, laboratory session, Tuesdays 18-20, room 6