Michał Karpiński, PhD


Institute of Computer Science
University of Wrocław
ul. Joliot-Curie 15
50-383 Wrocław

Email: karp [at] cs.uni.wroc.pl


Thesis

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

Defended on 09.09.2019

Publications

2018:
2017:
2015:

Teaching:

2016/17:

winter:

2015/16:

summer:

2014/15:

summer:

winter:

2013/14:

summer:

winter: