Hantao Zhang - RankMe

87 papers A* 3A 17B 2C 1Misc 2Journal 43Unranked 19

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Holey Schröder designs of type 3 Discret. Math. Dianhua Wu, Hantao Zhang
2023	—	`conf`	Investigating the Existence of Holey Latin Squares via Satisfiability Testing. PRICAI (2) Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang
2022	J	`jnl`	Sort race. Softw. Pract. Exp. Hantao Zhang, Baoluo Meng, Yiwen Liang
2018	A	`conf`	Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. IJCAR Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang
2016	J	`jnl`	An Experiment with Satisfiability Modulo SAT. J. Autom. Reason. Hantao Zhang
2016	J	`jnl`	On Holey Schroder Designs of Type 2 Ars Comb. Hantao Zhang, Stanley Ziewacz
2016	J	`jnl`	Sort Race. CoRR Hantao Zhang, Baoluo Meng, Yiwen Liang
2016	J	`jnl`	The Existence of Irrational Diagonally Ordered Magic Squares. Graphs Comb. Huangsheng Yu, D. Wu, Hantao Zhang
2014	J	`jnl`	Strongly symmetric self-orthogonal diagonal Latin squares and Yang Hui type magic squares. Discret. Math. Yong Zhang, Kejun Chen, Nanyuan Cao, Hantao Zhang
2013	J	`jnl`	25 new Discret. Math. Hantao Zhang
2013	—	`conf`	MACE4 and SEM: A Comparison of Finite Model Generators. Automated Reasoning and Mathematics Hantao Zhang, Jian Zhang
2012	J	`jnl`	Holey Schröder designs of type 4 Australas. J Comb. Frank E. Bennett, Hantao Zhang
2012	J	`jnl`	Quasigroups satisfying Stein's third law with a specified number of idempotents. Discret. Math. Frank E. Bennett, Hantao Zhang
2012	J	`jnl`	Schröder quasigroups with a specified number of idempotents. Discret. Math. Frank E. Bennett, Hantao Zhang
2010	Misc	`conf`	Constraint processing in relational database systems: from theory to implementation. SAC James J. Lu, Sebastien Siva, Ojas Parekh, George H. L. Fletcher, Hantao Zhang
2008	B	`conf`	A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract). ICLP Sebastien Siva, James J. Lu, Hantao Zhang
2008	J	`jnl`	Existence of HSOLSSOMs of type 2 Discret. Math. R. Julian R. Abel, Frank E. Bennett, Hantao Zhang
2008	J	`jnl`	Frame self-orthogonal Mendelsohn triple systems of type h Discret. Math. Yunqing Xu, Yanxun Chang, Gennian Ge, Hantao Zhang
2006	A	`conf`	A Complete Random Jump Strategy with Guiding Paths. SAT Hantao Zhang
2005	B	`conf`	Another Complete Local Search Method for SAT. LPAR Haiou Shen, Hantao Zhang
2005	J	`jnl`	Improving exact algorithms for MAX-2-SAT. Ann. Math. Artif. Intell. Haiou Shen, Hantao Zhang
2004	A	`conf`	A SAT Based Scheduler for Tournament Schedules. SAT Hantao Zhang, Dapeng Li, Haiou Shen
2004	Misc	`conf`	Extending Finite Model Searching with Congruence Closure Computation. AISC Jian Zhang, Hantao Zhang
2004	—	`conf`	Improving Exact Algorithms for MAX-2-SAT. AI&M Haiou Shen, Hantao Zhang
2004	A	`conf`	Improving First-order Model Searching by Propositional Reasoning and Lemma Learning. SAT Zhuo Huang, Hantao Zhang, Jian Zhang
2004	J	`jnl`	Latin Squares with Self-Orthogonal Conjugates. Discret. Math. Frank E. Bennett, Hantao Zhang
2004	A*	`conf`	Study of Lower Bound Functions for MAX-2-SAT. AAAI Haiou Shen, Hantao Zhang
2003	J	`jnl`	An Empirical Study of MAX-2-SAT Phase Transitions. Electron. Notes Discret. Math. Haiou Shen, Hantao Zhang
2003	J	`jnl`	Completing the spectrum of r-orthogonal Latin squares. Discret. Math. Lie Zhu, Hantao Zhang
2003	—	`conf`	Exact Algorithms for MAX-SAT. FTP Hantao Zhang, Haiou Shen, Felip Manyà
2003	J	`jnl`	Existence of self-orthogonal diagonal Latin squares with a missing subsquare. Discret. Math. Frank E. Bennett, Beiliang Du, Hantao Zhang
2003	J	`jnl`	Preface to First order theorem proving. J. Symb. Comput. Peter Baumgartner, Hantao Zhang
2002	J	`jnl`	Existence of frame SOLS of type Discret. Math. Yungqing Xu, Hantao Zhang, Lie Zhu
2002	J	`jnl`	On approximation of max-vertex-cover. Eur. J. Oper. Res. Qiaoming Han, Yinyu Ye, Hantao Zhang, Jiawei Zhang
2001	J	`jnl`	A few more Discret. Math. Lie Zhu, Hantao Zhang
2001	J	`jnl`	Steiner pentagon covering designs. Discret. Math. R. Julian R. Abel, Frank E. Bennett, Hantao Zhang, Lie Zhu
2000	J	`jnl`	A few more incomplete self-orthogonal Latin squares and related designs. Australas. J Comb. R. Julian R. Abel, Frank E. Bennett, Hantao Zhang, Lie Zhu
2000	J	`jnl`	Existence of HSOLSSOMs with type h Ars Comb. R. Julian R. Abel, Frank E. Bennett, Hantao Zhang, Lie Zhu
2000	J	`jnl`	Implementing the Davis-Putnam Method. J. Autom. Reason. Hantao Zhang, Mark E. Stickel
2000	A	`conf`	Workshop: Model Computation - Principles, Algorithms, Applications. CADE Peter Baumgartner, Christian G. Fermüller, Nicolas Peltier, Hantao Zhang
1998	J	`jnl`	Direct constructions for certain types of HMOLS. Discret. Math. R. Julian R. Abel, Hantao Zhang
1998	J	`jnl`	Perfect Mendelsohn Packing Designs with Block Size Five. Des. Codes Cryptogr. Frank E. Bennett, Jianxing Yin, Hantao Zhang, R. Julian R. Abel
1997	J	`jnl`	Existence of Incomplete Transversal Designs with Block Size Five and Any Index lambda. Des. Codes Cryptogr. R. Julian R. Abel, Charles J. Colbourn, Jianxing Yin, Hantao Zhang
1997	A	`conf`	SATO: An Efficient Propositional Prover. CADE Hantao Zhang
1996	—	`conf`	Combining Local Search and Backtracking Techniques for Constraint Satisfaction. AAAI/IAAI, Vol. 1 Jian Zhang, Hantao Zhang
1996	J	`jnl`	PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems. J. Symb. Comput. Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang
1996	J	`jnl`	Self-Orthogonal Mendelsohn Triple Systems. J. Comb. Theory A Frank E. Bennett, Hantao Zhang, Lie Zhu
1996	A	`conf`	System Description: Generating Models by SEM. CADE Jian Zhang, Hantao Zhang
1995	J	`jnl`	A Path Ordering for Proving Termination of AC Rewrite Systems. J. Autom. Reason. Deepak Kapur, G. Sivakumar, Hantao Zhang
1995	A	`conf`	Constraint Propagation in Model Generation. CP Jian Zhang, Hantao Zhang
1995	J	`jnl`	Contextual Rewriting in Automated Reasoning. Fundam. Informaticae Hantao Zhang
1995	A*	`conf`	SEM: a System for Enumerating Models. IJCAI Jian Zhang, Hantao Zhang
1995	—	`conf`	Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results. RTA Mark E. Stickel, Hantao Zhang
1994	J	`jnl`	A New Method for the Boolean Ring Based Theorem Proving. J. Symb. Comput. Hantao Zhang
1994	—	`conf`	Cumulating Search in a Distributed Computing Environment: A Case Study in Parallel Satisfiability. PASCO Hantao Zhang, Maria Paola Bonacina
1994	A*	`conf`	ModGen: Theorem Proving by Model Generation. AAAI Sun Kim, Hantao Zhang
1993	—	`conf`	A Case Study of Completion Modulo Distributivity and Abelian Groups. RTA Hantao Zhang
1993	J	`jnl`	Automated Proofs of Equality Problems in Overbeek's Competition. J. Autom. Reason. Hantao Zhang
1993	C	`conf`	Formal Semantics of VHDL for Verification of Circuit Designs. ICCD Xin Hua, Hantao Zhang
1993	J	`jnl`	Proving Ramsey's Theorem by the Cover Set Induction: A Case and Comparison Study. Ann. Math. Artif. Intell. Hantao Zhang, Gary Xin Hua
1992	—	`conf`	Axiomatic semantics of a hardware specification language. Great Lakes Symposium on VLSI Xin Hua, Hantao Zhang
1992	A	`conf`	FRI: Failure-Resistant Induction in RRL. CADE Xin Hua, Hantao Zhang
1992	A	`conf`	Herky: High Performance Rewriting in RRL. CADE Hantao Zhang
1992	—	`conf`	Implementing Contextual Rewriting. CTRS Hantao Zhang
1992	—	`conf`	Proving Group Isomorphism Theorems (Extended Abstract). CTRS Hantao Zhang
1992	A	`conf`	Proving the Chinese Remainder Theorem by the Cover Set Induction. CADE Hantao Zhang, Xin Hua
1991	—	`conf`	A Case Study of the Completion Procedure: Proving Ring Commutativity Problems. Computational Logic - Essays in Honor of Alan Robinson Deepak Kapur, Hantao Zhang
1991	J	`jnl`	Automating Inductionless Induction Using Test Sets. J. Symb. Comput. Deepak Kapur, Paliath Narendran, Hantao Zhang
1991	J	`jnl`	Sufficient-Completeness, Ground-Reducibility and their Complexity. Acta Informatica Deepak Kapur, Paliath Narendran, Daniel J. Rosenkrantz, Hantao Zhang
1991	—	`conf`	Using Algebraic Specification in Floyd-Hoare Assertions. AMAST Hantao Zhang, Angshuman Guha, Xin Hua
1990	—	`conf`	A New Method for Proving Termination of AC-Rewrite Systems. FSTTCS Deepak Kapur, G. Sivakumar, Hantao Zhang
1990	—	`conf`	Approximate Reasoning in Strength Logic. ISMVL Hantao Zhang
1990	J	`jnl`	Automated Proof of Ring Commutativity Problems by Algebraic Methods. J. Symb. Comput. Hantao Zhang
1990	J	`jnl`	Unnecessary Inferences in Associative-Commutative Completion Procedures. Math. Syst. Theory Hantao Zhang, Deepak Kapur
1989	—	`conf`	An Overview of Rewrite Rule Laboratory (RRL). RTA Deepak Kapur, Hantao Zhang
1989	—	`conf`	Consider Only General Superpositions in Completion Procedures. RTA Hantao Zhang, Deepak Kapur
1988	A	`conf`	A Mechanizable Induction Principle for Equational Specifications. CADE Hantao Zhang, Deepak Kapur, Mukkai S. Krishnamoorthy
1988	A	`conf`	First-Order Theorem Proving Using Conditional Rewrite Rules. CADE Hantao Zhang, Deepak Kapur
1988	J	`jnl`	Opening the AC-Unification Race. J. Autom. Reason. Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang
1988	J	`jnl`	Proving Equivalence of Different Axiomatizations of Free Groups. J. Autom. Reason. Deepak Kapur, Hantao Zhang
1988	A	`conf`	RRL: A Rewrite Rule Laboratory. CADE Deepak Kapur, Hantao Zhang
1987	J	`jnl`	On Sufficient-Completeness and Related Properties of Term Rewriting Systems. Acta Informatica Deepak Kapur, Paliath Narendran, Hantao Zhang
1986	—	`conf`	Complexity of Sufficient-Completeness. FSTTCS Deepak Kapur, Paliath Narendran, Hantao Zhang
1986	A	`conf`	Proof by Induction Using Test Sets. CADE Deepak Kapur, Paliath Narendran, Hantao Zhang
1986	A	`conf`	RRL: A Rewrite Rule Laboratory. CADE Deepak Kapur, G. Sivakumar, Hantao Zhang
1985	—	`conf`	Contextual Rewriting. RTA Hantao Zhang, Jean-Luc Rémy
1984	A	`conf`	REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types. ECAI Jean-Luc Rémy, Hantao Zhang