Hantao Zhang

According to our database, Hantao Zhang authored at least 85 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Holey Schröder designs of type 3^<i>n</i><i>u</i>¹.

Dianhua Wu, Hantao Zhang

Discret. Math., September, 2023

Investigating the Existence of Holey Latin Squares via Satisfiability Testing.

Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang

Proceedings of the PRICAI 2023: Trends in Artificial Intelligence, 2023

2022

Sort race.

Hantao Zhang, Baoluo Meng, Yiwen Liang

Softw. Pract. Exp., 2022

2018

Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing.

Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2016

An Experiment with Satisfiability Modulo SAT.

Hantao Zhang

J. Autom. Reason., 2016

The Existence of Irrational Diagonally Ordered Magic Squares.

H. Yu, D. Wu, Hantao Zhang

Graphs Comb., 2016

On Holey Schroder Designs of Type 2ⁿu¹.

Hantao Zhang, Stanley Ziewacz

Ars Comb., 2016

2014

Strongly symmetric self-orthogonal diagonal Latin squares and Yang Hui type magic squares.

Yong Zhang, Kejun Chen, Nanyuan Cao, Hantao Zhang

Discret. Math., 2014

2013

25 new <i>r</i>r-self-orthogonal Latin squares.

Hantao Zhang

Discret. Math., 2013

MACE4 and SEM: A Comparison of Finite Model Generators.

Hantao Zhang, Jian Zhang

Proceedings of the Automated Reasoning and Mathematics, 2013

2012

Quasigroups satisfying Stein's third law with a specified number of idempotents.

Frank E. Bennett, Hantao Zhang

Discret. Math., 2012

Schröder quasigroups with a specified number of idempotents.

Frank E. Bennett, Hantao Zhang

Discret. Math., 2012

Holey Schröder designs of type 4ⁿ u¹.

Frank E. Bennett, Hantao Zhang

Australas. J Comb., 2012

2010

Constraint processing in relational database systems: from theory to implementation.

James J. Lu, Sebastien Siva, Ojas Parekh, George H. L. Fletcher, Hantao Zhang

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2008

Frame self-orthogonal Mendelsohn triple systems of type hⁿ.

Yunqing Xu, Yanxun Chang, Gennian Ge, Hantao Zhang

Discret. Math., 2008

Existence of HSOLSSOMs of type 2ⁿu¹.

R. Julian R. Abel, Frank E. Bennett, Hantao Zhang

Discret. Math., 2008

A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract).

Sebastien Siva, James J. Lu, Hantao Zhang

Proceedings of the Logic Programming, 24th International Conference, 2008

2006

A Complete Random Jump Strategy with Guiding Paths.

Hantao Zhang

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

2005

Improving exact algorithms for MAX-2-SAT.

Haiou Shen, Hantao Zhang

Ann. Math. Artif. Intell., 2005

Another Complete Local Search Method for SAT.

Haiou Shen, Hantao Zhang

Proceedings of the Logic for Programming, 2005

2004

Latin Squares with Self-Orthogonal Conjugates.

Frank E. Bennett, Hantao Zhang

Discret. Math., 2004

A SAT Based Scheduler for Tournament Schedules.

Hantao Zhang, Dapeng Li, Haiou Shen

Proceedings of the SAT 2004, 2004

Improving First-order Model Searching by Propositional Reasoning and Lemma Learning.

Zhuo Huang, Hantao Zhang, Jian Zhang

Proceedings of the SAT 2004, 2004

Extending Finite Model Searching with Congruence Closure Computation.

Jian Zhang, Hantao Zhang

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

Study of Lower Bound Functions for MAX-2-SAT.

Haiou Shen, Hantao Zhang

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Preface to First order theorem proving.

Peter Baumgartner, Hantao Zhang

J. Symb. Comput., 2003

Exact Algorithms for MAX-SAT.

Hantao Zhang, Haiou Shen, Felip Manyà

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

An Empirical Study of MAX-2-SAT Phase Transitions.

Haiou Shen, Hantao Zhang

Electron. Notes Discret. Math., 2003

Completing the spectrum of r-orthogonal Latin squares.

Lie Zhu, Hantao Zhang

Discret. Math., 2003

Existence of self-orthogonal diagonal Latin squares with a missing subsquare.

Frank E. Bennett, Beiliang Du, Hantao Zhang

Discret. Math., 2003

2002

On approximation of max-vertex-cover.

Qiaoming Han, Yinyu Ye, Hantao Zhang, Jiawei Zhang

Eur. J. Oper. Res., 2002

Existence of frame SOLS of type <i>aⁿb</i>¹.

Yungqing Xu, Hantao Zhang, Lie Zhu

Discret. Math., 2002

2001

A few more <i>r</i>-orthogonal latin squares.

Lie Zhu, Hantao Zhang

Discret. Math., 2001

Steiner pentagon covering designs.

R. Julian R. Abel, Frank E. Bennett, Hantao Zhang, Lie Zhu

Discret. Math., 2001

2000

Implementing the Davis-Putnam Method.

Hantao Zhang, Mark E. Stickel

J. Autom. Reason., 2000

Existence of HSOLSSOMs with type hⁿ and 1ⁿu¹.

R. Julian R. Abel, Frank E. Bennett, Hantao Zhang, Lie Zhu

Ars Comb., 2000

A few more incomplete self-orthogonal Latin squares and related designs.

R. Julian R. Abel, Frank E. Bennett, Hantao Zhang, Lie Zhu

Australas. J Comb., 2000

Workshop: Model Computation - Principles, Algorithms, Applications.

Peter Baumgartner, Christian G. Fermüller, Nicolas Peltier, Hantao Zhang

Proceedings of the Automated Deduction, 2000

1998

Direct constructions for certain types of HMOLS.

R. Julian R. Abel, Hantao Zhang

Discret. Math., 1998

Perfect Mendelsohn Packing Designs with Block Size Five.

Frank E. Bennett, Jianxing Yin, Hantao Zhang, R. Julian R. Abel

Des. Codes Cryptogr., 1998

1997

Existence of Incomplete Transversal Designs with Block Size Five and Any Index lambda.

R. Julian R. Abel, Charles J. Colbourn, Jianxing Yin, Hantao Zhang

Des. Codes Cryptogr., 1997

SATO: An Efficient Propositional Prover.

Hantao Zhang

Proceedings of the Automated Deduction, 1997

1996

PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems.

Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang

J. Symb. Comput., 1996

Self-Orthogonal Mendelsohn Triple Systems.

Frank E. Bennett, Hantao Zhang, Lie Zhu

J. Comb. Theory, Ser. A, 1996

System Description: Generating Models by SEM.

Jian Zhang, Hantao Zhang

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Combining Local Search and Backtracking Techniques for Constraint Satisfaction.

Jian Zhang, Hantao Zhang

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

A Path Ordering for Proving Termination of AC Rewrite Systems.

Deepak Kapur, G. Sivakumar, Hantao Zhang

J. Autom. Reason., 1995

Contextual Rewriting in Automated Reasoning.

Hantao Zhang

Fundam. Informaticae, 1995

Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results.

Mark E. Stickel, Hantao Zhang

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

SEM: a System for Enumerating Models.

Jian Zhang, Hantao Zhang

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Constraint Propagation in Model Generation.

Jian Zhang, Hantao Zhang

Proceedings of the Principles and Practice of Constraint Programming, 1995

1994

A New Method for the Boolean Ring Based Theorem Proving.

Hantao Zhang

J. Symb. Comput., 1994

Cumulating Search in a Distributed Computing Environment: A Case Study in Parallel Satisfiability.

Hantao Zhang, Maria Paola Bonacina

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

ModGen: Theorem Proving by Model Generation.

Sun Kim, Hantao Zhang

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993

Automated Proofs of Equality Problems in Overbeek's Competition.

Hantao Zhang

J. Autom. Reason., 1993

Proving Ramsey's Theorem by the Cover Set Induction: A Case and Comparison Study.

Hantao Zhang, Gary Xin Hua

Ann. Math. Artif. Intell., 1993

A Case Study of Completion Modulo Distributivity and Abelian Groups.

Hantao Zhang

Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

Formal Semantics of VHDL for Verification of Circuit Designs.

Xin Hua, Hantao Zhang

Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

1992

Axiomatic semantics of a hardware specification language.

Xin Hua, Hantao Zhang

Proceedings of the Second Great Lakes Symposium on VLSI, 1992

Implementing Contextual Rewriting.

Hantao Zhang

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

Proving Group Isomorphism Theorems (Extended Abstract).

Hantao Zhang

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

Proving the Chinese Remainder Theorem by the Cover Set Induction.

Hantao Zhang, Xin Hua

Proceedings of the Automated Deduction, 1992

Herky: High Performance Rewriting in RRL.

Hantao Zhang

Proceedings of the Automated Deduction, 1992

FRI: Failure-Resistant Induction in RRL.

Xin Hua, Hantao Zhang

Proceedings of the Automated Deduction, 1992

1991

Automating Inductionless Induction Using Test Sets.

Deepak Kapur, Paliath Narendran, Hantao Zhang

J. Symb. Comput., 1991

Sufficient-Completeness, Ground-Reducibility and their Complexity.

Deepak Kapur, Paliath Narendran, Daniel J. Rosenkrantz, Hantao Zhang

Acta Informatica, 1991

A Case Study of the Completion Procedure: Proving Ring Commutativity Problems.

Deepak Kapur, Hantao Zhang

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

Using Algebraic Specification in Floyd-Hoare Assertions.

Hantao Zhang, Angshuman Guha, Xin Hua

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Unnecessary Inferences in Associative-Commutative Completion Procedures.

Hantao Zhang, Deepak Kapur

Math. Syst. Theory, 1990

Automated Proof of Ring Commutativity Problems by Algebraic Methods.

Hantao Zhang

J. Symb. Comput., 1990

Approximate Reasoning in Strength Logic.

Hantao Zhang

Proceedings of the 20th International Symposium on Multiple-Valued Logic, 1990

A New Method for Proving Termination of AC-Rewrite Systems.

Deepak Kapur, G. Sivakumar, Hantao Zhang

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1990

1989

Consider Only General Superpositions in Completion Procedures.

Hantao Zhang, Deepak Kapur

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

An Overview of Rewrite Rule Laboratory (RRL).

Deepak Kapur, Hantao Zhang

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1988

Proving Equivalence of Different Axiomatizations of Free Groups.

Deepak Kapur, Hantao Zhang

J. Autom. Reason., 1988

Opening the AC-Unification Race.

Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang

J. Autom. Reason., 1988

A Mechanizable Induction Principle for Equational Specifications.

Hantao Zhang, Deepak Kapur, Mukkai S. Krishnamoorthy

Proceedings of the 9th International Conference on Automated Deduction, 1988

First-Order Theorem Proving Using Conditional Rewrite Rules.

Hantao Zhang, Deepak Kapur

Proceedings of the 9th International Conference on Automated Deduction, 1988

RRL: A Rewrite Rule Laboratory.

Deepak Kapur, Hantao Zhang

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

On Sufficient-Completeness and Related Properties of Term Rewriting Systems.

Deepak Kapur, Paliath Narendran, Hantao Zhang

Acta Informatica, 1987

1986

Complexity of Sufficient-Completeness.

Deepak Kapur, Paliath Narendran, Hantao Zhang

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986

RRL: A Rewrite Rule Laboratory.

Deepak Kapur, G. Sivakumar, Hantao Zhang

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

Proof by Induction Using Test Sets.

Deepak Kapur, Paliath Narendran, Hantao Zhang

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

Contextual Rewriting.

Hantao Zhang, Jean-Luc Rémy

Proceedings of the Rewriting Techniques and Applications, First International Conference, 1985

1984

REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types.

Jean-Luc Rémy, Hantao Zhang

Proceedings of the Advances in Artificial Intelligence, 1984