Login / Signup
Andreas Plank
Publication Activity (10 Years)
Years Active: 2012-2023
Publications (10 Years): 3
Top Topics
Quantified Boolean Formulas
Sat Instances
Phase Transition
Decision Procedures
Top Venues
SAT
ETFA
CP
ECIS
</>
Publications
</>
Andreas Plank
,
Sibylle Möhle
,
Martina Seidl
Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper).
CP
(2023)
Andreas Plank
,
Martina Seidl
QMusExt: A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas.
SAT
(2023)
Stephan Cejka
,
Alexander Hanzlik
,
Andreas Plank
A framework for communication and provisioning in an intelligent secondary substation.
ETFA
(2016)
Nicola Stokburger-Sauer
,
Andreas Plank
Respecting the Heterogeneity of the Natives: Antecedents and Consequences of Individuals' Digital nativeness.
ECIS
(2014)
Sebastian Walther
,
Andreas Plank
,
Torsten Eymann
,
Niraj Singh
,
Gaurang Phadke
Success Factors and Value Propositions of Software as a Service Providers - A Literature Review and Classification.
AMCIS
(2012)