Anja Remshagen

14 papers Misc 1Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2014 — conf
Consistency checking in access control.
CODASPY
Anja Remshagen, Li Yang
2014 — conf
Contextualized learning tools: animations and robots.
ACM Southeast Regional Conference
Anja Remshagen, Christine Rolka
2013 — conf
Consistency checking in privacy-aware access control.
ACM Southeast Regional Conference
Anja Remshagen
2010 J jnl
An upper bound for the circuit complexity of existentially quantified Boolean formulas.
Theor. Comput. Sci.
Hans Kleine Büning, Anja Remshagen
2010 — conf
Making discrete mathematics relevant.
ACM Southeast Regional Conference
Anja Remshagen
2009 Misc conf
An Alternative Representation for QBF.
IC-AI
Anja Remshagen, Klaus Truemper
2007 — conf
The Complexity of Futile Questioning.
FCS
Anja Remshagen, Klaus Truemper
2006 — conf
A SAT-based solver for Q-ALL SAT.
ACM Southeast Regional Conference
Ben Browning, Anja Remshagen
2005 J jnl
An Effective Algorithm for the Futile Questioning Problem.
J. Autom. Reason.
Anja Remshagen, Klaus Truemper
2005 — conf
Local search for quantified Boolean formulas.
ACM Southeast Regional Conference (1)
N. Hristov, Anja Remshagen
2004 — conf
An Effective QBF Solver for Planning Problems.
MSV/AMCS
Charles Otwell, Anja Remshagen, Klaus Truemper
2003 J jnl
Learning in a Compiler for MINSAT Algorithms
CoRR
Anja Remshagen, Klaus Truemper
2003 J jnl
Learning in a Compiler for MINSAT Algorithms.
Theory Pract. Log. Program.
Anja Remshagen, Klaus Truemper
2003 — conf
On the Graph-Density of Random 0/1-Polytopes.
RANDOM-APPROX
Volker Kaibel, Anja Remshagen