Concepedia
Statistics
Publications
1
Citations
25
H-Index
Active since
2004
Publications per year
2004–2004
An Effective QBF Solver for Planning Problems.
Charles Otwell, Anja Remshagen, Klaus Truemper · 2004 · 25 citations
1–1 of 1