Anja Remshagen (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

6

N. Hristov, Anja Remshagen: Local search for quantified Boolean formulas. ACM Southeast Regional Conference (1) 2005: 116-120

Selection of 1 from 9 records - Anja Remshagen has 5 coauthors