Statistics
Publications
2
Citations
36
H-Index
2
Active since
2004
Affiliations
The University of Texas at Dallas(Current)
Anja Remshagen is an author at The University of Texas at Dallas specializing in combinatorial optimization, automated reasoning, and engineering.
Publications per year
2004–2005
2
2
An Effective QBF Solver for Planning Problems.
Charles Otwell, Anja Remshagen, Klaus Truemper · 2004 · 25 citations
1–2 of 2