How many works does the contributor with the paper 'Model Counting for Formulas of Bounded Clique-Width' in ISAAC 2013 have?
351
Stefan Szeider is a member of TU Wien, Vienna, Austria. He is the creator of Stefan Szeider i10Index 80. Stefan Szeider 2YrMeanCitedness 0.35897436738014221191. Stefan Szeider alternative name S. Szeider. Stefan Szeider modified 2023-10-18. Robert Ganian et al.: On Existential MSO and its Relation to ETH. (2016) authored by Stefan Szeider. Franz-Xaver Reichl et al.: Circuit Minimization with QBF-Based Exact Synthesis. Stefan Szeider is the author of Agata Ciabattoni et al.: Preface. (2013) authored by Stefan Szeider. Holger H. Hoos et al.: Portfolio-Based Algorithm Selection for Circuit QBFs. (2018) authored by Stefan Szeider. Stefan Szeider was first Lecturer and then Reader at the University of Durham, UK (2002–2004) and a postdoc with Professor Stephen Cook’s Group at the University of Toronto (2002–2004). He is the author of Hajo Broersma et al.: Editorial. (2008) authored by Stefan Szeider.
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: How many works does the contributor with the paper 'Model Counting for Formulas of Bounded Clique-Width' in ISAAC 2013 have?
Context: Stefan Szeider is a member of TU Wien, Vienna, Austria. He is the creator of Stefan Szeider i10Index 80. Stefan Szeider 2YrMeanCitedness 0.35897436738014221191. Stefan Szeider alternative name S. Szeider. Stefan Szeider modified 2023-10-18. Robert Ganian et al.: On Existential MSO and its Relation to ETH. (2016) authored by Stefan Szeider. Franz-Xaver Reichl et al.: Circuit Minimization with QBF-Based Exact Synthesis. Stefan Szeider is the author of Agata Ciabattoni et al.: Preface. (2013) authored by Stefan Szeider. Holger H. Hoos et al.: Portfolio-Based Algorithm Selection for Circuit QBFs. (2018) authored by Stefan Szeider. Stefan Szeider was first Lecturer and then Reader at the University of Durham, UK (2002–2004) and a postdoc with Professor Stephen Cook’s Group at the University of Toronto (2002–2004). He is the author of Hajo Broersma et al.: Editorial. (2008) authored by Stefan Szeider.
[/INST] Answer:
