Searching for authors named "Anja Remshagen" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
K.: The Complexity of Futile Questioning
- …The Complexity of Futile Questioning Anja Remshagen University of West Georgia Carrollton, Georgia…
- Cited by 1 (1 self) – Add To MetaCart
-
Learning in a Compiler for MINSAT Algorithms
- … Compiler for MINSAT Algorithms ANJA REMSHAGEN University of Texas at Dallas, Department of Computer…
- Add To MetaCart
-
An effective algorithm for the futile questioning problem
- …An Effective Algorithm for the Futile Questioning Problem Anja Remshagen and Klaus Truemper…
- Cited by 6 (2 self) – Add To MetaCart
-
A.: On the graph-density of random 0/1-polytopes
- …On the Graph-Density of Random 0/1-Polytopes Volker Kaibel 1 and Anja Remshagen 2 1 DFG Research…
- Cited by 2 (2 self) – Add To MetaCart
-
Algorithms for Logic-Based Abduction
- …Algorithms for Logic-Based Abduction Anja Remshagen and Klaus Truemper 2 State University…
- Add To MetaCart
-
An effective QBF solver for planning problems
- …An Effective QBF Solver for Planning Problems Charles Otwell 1 , Anja Remshagen 1 , and Klaus…
- Cited by 7 (0 self) – Add To MetaCart
Showing 1 through 6.
