Holger Hoos

Holger Hoos

RWTH Aachen University, Germany • Leiden University, Netherlands • University of British …
Zweryfikowany adres z cs.rwth-aachen.de
Cytowane przez 44124
Artificial Intelligence Machine Learning Automated Reasoning Empirical Algorithmics Automated Algorithm Design
Dave A. D. Tompkins

Dave AD Tompkins

Professor, Teaching Stream, Computer Science, University of Waterloo
Zweryfikowany adres z uwaterloo.ca
Cytowane przez 788
Artificial Intelligence Empirical Algorithmics Satisfiability Automated Algorithm Design
Markus Iser

Markus Iser

Karlsruhe Institute of Technology
Zweryfikowany adres z kit.edu
Cytowane przez 330
Automated Reasoning Empirical Algorithmics Artificial Intelligence
Zongxu Mu

Zongxu Mu

M.Sc. in Computer Science, University of British Columbia
Zweryfikowany adres z cs.ubc.ca
Cytowane przez 62
Artificial Intelligence Empirical Algorithmics