Andreas Plank

According to our database, Andreas Plank authored at least 7 papers between 2012 and 2024.

Collaborative distances:

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

2024

Counting QBF solutions at level two.

Andreas Plank, Sibylle Möhle, Martina Seidl

Constraints An Int. J., June, 2024

A Top-Down Tree Model Counter for Quantified Boolean Formulas.

Florent Capelli, Jean-Marie Lagniez, Andreas Plank, Martina Seidl

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

QMusExt: A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas.

Andreas Plank, Martina Seidl

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper).

Andreas Plank, Sibylle Möhle, Martina Seidl

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2016

A framework for communication and provisioning in an intelligent secondary substation.

Stephan Cejka, Alexander Hanzlik, Andreas Plank

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2014

Respecting the Heterogeneity of the Natives: Antecedents and Consequences of Individuals' Digital nativeness.

Nicola Stokburger-Sauer, Andreas Plank

Proceedings of the 22st European Conference on Information Systems, 2014

2012

Success Factors and Value Propositions of Software as a Service Providers - A Literature Review and Classification.

Sebastian Walther, Andreas Plank, Torsten Eymann, Niraj Singh, Gaurang Phadke

Proceedings of the 18th Americas Conference on Information Systems, 2012