Jan Maly
| Address | Jan Maly Institute of Information Systems Database and Artificial Intelligence Group Vienna University of Technology Favoritenstraße 9-11 1040 Wien Austria |
|---|---|
 |
|
| Phone | +43/1/58801/18408 |
| Fax | +43/1/58801/18493 |
| Room | HE 03 20 |
You can find me also in the TISS Adress Book
About me
I am currently a Ph.D student and University Assistant at the Database and Artificial Intelligence Group. In August 2016 I received my master's degree in mathematics with specialization in logic from the University of Vienna.
Papers
| [1] |
Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? Jan Maly, Miroslaw Truszczynski, Stefan Woltran IJCAI 2018: 433-439 (Download) |
| [2] |
A New Logic for Jointly Representing Hard and Soft Constraints Jan Maly, Stefan Woltran PRUV@IJCAR 2018 (Download) |
| [3] |
Ranking Specific Sets of Object Jan Maly, Stefan Woltran Datenbank-Spektrum 17(3): 255-265 (2017) (Web) |
| [4] |
Ranking Specific Sets of Object Jan Maly, Stefan Woltran BTW 2017 - Workshopband pages 193-201 (Download) |
| [5] |
Pseudo proof systems and hard instances of SAT Jan Maly, Moritz Müller (Download) |
Master's Thesis
| [1] |
Jan Krajicek's Forcing Construction and Pseudo Proof Systems Jan Maly Master's Thesis, Universität Wien, Advisor: Moritz Müller 2016 (Download) |