Zhang, Hantao - Department of Computer Science, University of Iowa

Advanced Search

Browse by Discipline

Scientific Societies

E-print Network

FAQ • HELP • SITE MAP • CONTACT US

Powered by Explorit

Advanced Search

Zhang, Hantao - Department of Computer Science, University of Iowa

An Empirical Study of MAX-2-SAT Phase Transitions Haiou Shen, Hantao Zhang
Generating College Conference Basketball Schedules by a SAT Solver
A Random Jump Strategy for Combinatorial Search Hantao Zhang

Website Policies/Important Links