Searching for authors named "Hantao Zhang" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Generating College Conference Basketball Schedules by a SAT Solver
- …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
- …10 Specifying Latin Square Problems in Propositional Logic Hantao Zhang 1 The University of Iowa…
- Cited by 2 (0 self) – Add To MetaCart
-
A Random Jump Strategy for Combinatorial Search
- …A Random Jump Strategy for Combinatorial Search Hantao Zhang ∗ Computer Science Department…
- Cited by 5 (0 self) – Add To MetaCart
-
SATO: an Efficient Propositional Prover
- …SATO: an Efficient Propositional Prover Hantao Zhang ? Department of Computer Science…
- Cited by 158 (6 self) – Add To MetaCart
-
An Empirical Study of MAX-2-SAT 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
- …Improving Exact Algorithms for MAX-2-SAT ∗ Haiou Shen, Hantao Zhang Computer Science Department…
- Cited by 6 (0 self) – Add To MetaCart
-
Solving Open Quasigroup Problems by Propositional Reasoning
- …Solving Open Quasigroup Problems by Propositional Reasoning Hantao Zhang Department of Computer…
- Cited by 13 (1 self) – Add To MetaCart
-
An Overview of Rewrite Rule Laboratory (RRL)
- … University of New York at Albany Albany, NY 12222 kapur@(email omitted); Hantao Zhang y Department of Computer…
- Cited by 64 (26 self) – Add To MetaCart
-
An Efficient Algorithm for Unit Propagation
- …An Efficient Algorithm for Unit Propagation Hantao Zhang Computer Science Department…
- Add To MetaCart
-
HPMDs of type 2 n 3 1 with Block Size Four and Related HCOLSs
- … of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE 68588 U.S.A. Hantao Zhang Computer…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
