Václav Vlcek

According to our database, Václav Vlcek authored at least 3 papers between 2012 and 2013.

Collaborative distances:

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

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

Properties of SLUR Formulae.

Ondrej Cepek, Petr Kucera, Václav Vlcek

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 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