Stefan Szeider profile picture

Stefan Szeider

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Parameterized and Exact Computation: 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
Parameterized and Exact Computation 8th International Symposium, Ipec 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
Algorithms and Complexity in Durham 2005 Proceedings of the First ACiD Workshop
Theory and Applications of Satisfiability Testing - SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings