MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Hantao Zhang – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

22 documents found, showing 1 through 10. Next 10 →

ATOM

Generating College Conference Basketball Schedules by a SAT Solver
by Hantao Zhang — 2003 — In Proceedings of the Fifth International Symposium on the Theory and Applications of Satisfiability Testing
…Generating College Conference Basketball Schedules by a SAT Solver 1 Introduction Hantao Zhang…
Cited by 7 (1 self) – Add To MetaCart

Specifying Latin Square Problems in Propositional Logic
by Hantao Zhang — 1997 — In Automated Reasoning and Its Applications
…10 Specifying Latin Square Problems in Propositional Logic Hantao Zhang 1 The University of Iowa…
Cited by 2 (0 self) – Add To MetaCart

SATO: an Efficient Propositional Prover
by Hantao Zhang — 1997 — In Proceedings of the International Conference on Automated Deduction
…SATO: an Efficient Propositional Prover Hantao Zhang ? Department of Computer Science…
Cited by 157 (6 self) – Add To MetaCart

A Random Jump Strategy for Combinatorial Search
by Hantao Zhang — 2001 — In Proceedings of the 7 th International Symposium on Artificial Intelligence and Mathematics
…A Random Jump Strategy for Combinatorial Search Hantao Zhang ∗ Computer Science Department…
Cited by 5 (0 self) – Add To MetaCart

An Efficient Algorithm for Unit Propagation
by Hantao Zhang Computer, Hantao Zhang, Mark E. Stickel — 1996 — In Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics (AI-MATH’96), Fort Lauderdale (Florida USA
…An Efficient Algorithm for Unit Propagation Hantao Zhang Computer Science Department…
Add To MetaCart

An Empirical Study of MAX-2-SAT Phase Transitions
by Haiou Shen, Hantao Zhang — 2003 — Proc. of LICS’03 Workshop on Typical Case Complexity and Phase Transitions
…An Empirical Study of MAX-2-SAT Phase Transitions ⋆ Abstract Haiou Shen a Hantao Zhang a a…
Cited by 5 (1 self) – Add To MetaCart

Improving exact algorithms for MAX-2-SAT
by Haiou Shen, Hantao Zhang — 2005 — Annals of Mathematics and Artificial Intelligence
…Improving Exact Algorithms for MAX-2-SAT ∗ Haiou Shen, Hantao Zhang Computer Science Department…
Cited by 6 (0 self) – Add To MetaCart

An Overview of Rewrite Rule Laboratory (RRL)
by Deepak Kapur, Hantao Zhang — 1995 — J. of Computer and Mathematics with Applications
… University of New York at Albany Albany, NY 12222 kapur@(email omitted); Hantao Zhang y Department of Computer…
Cited by 62 (25 self) – Add To MetaCart

Solving Open Quasigroup Problems by Propositional Reasoning
by Hantao Zhang, Jieh Hsiang — 1994 — In Proceedings of the International Computer Symp
…Solving Open Quasigroup Problems by Propositional Reasoning Hantao Zhang Department of Computer…
Cited by 13 (1 self) – Add To MetaCart

Improving first-order model searching by propositional reasoning and lemma learning
by Zhuo Huang, Hantao Zhang, Jian Zhang — 2004 — Proc. 7th Int’l Conf. on Theory and Applications of Satisfiability Testing
… , Hantao Zhang ⋆2 , and Jian Zhang ⋆⋆1 1 Laboratory of Computer Science Institute of Software, Chinese…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB