Stefan Gurský

According to our database, Stefan Gurský authored at least 5 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2017

On Minimum Representations of Matched Formulas (Extended Abstract).

Ondrej Cepek, Stefan Gurský, Petr Kucera

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2014

On Minimum Representations of Matched Formulas.

Ondrej Cepek, Stefan Gurský, Petr Kucera

J. Artif. Intell. Res., 2014

On the Gap between the Complexity of SAT and Minimization for Certain Classes of Boolean Formulas.

Ondrej Cepek, Stefan Gurský

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014

2013

Complexity issues related to propagation completeness.

Martin Babka, Tomás Balyo, Ondrej Cepek, Stefan Gurský, Petr Kucera, Václav Vlcek

Artif. Intell., 2013

2012

On hierarchies over the SLUR class.

Václav Vlcek, Tomás Balyo, Stefan Gurský, Petr Kucera

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2012