Search the dblp DataBase
Hantao Zhang :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Sun Kim , Hantao Zhang ModGen: Theorem Proving by Model Generation. [Citation Graph (0, 0)][DBLP ] AAAI, 1994, pp:162-167 [Conf ] Haiou Shen , Hantao Zhang Study of Lower Bound Functions for MAX-2-SAT. [Citation Graph (0, 0)][DBLP ] AAAI, 2004, pp:185-190 [Conf ] Jian Zhang , Hantao Zhang Combining Local Search and Backtracking Techniques for Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, Vol. 1, 1996, pp:369-374 [Conf ] Jian Zhang , Hantao Zhang Extending Finite Model Searching with Congruence Closure Computation. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:94-102 [Conf ] Hantao Zhang A Randomization Strategy for Combinatorial Search. [Citation Graph (0, 0)][DBLP ] AMAI, 2002, pp:- [Conf ] Haiou Shen , Hantao Zhang Improving Exact Algorithms for MAX-2-SAT. [Citation Graph (0, 0)][DBLP ] AMAI, 2004, pp:- [Conf ] Hantao Zhang , Angshuman Guha , Xin Hua Using Algebraic Specification in Floyd-Hoare Assertions. [Citation Graph (0, 0)][DBLP ] AMAST, 1991, pp:350-362 [Conf ] Deepak Kapur , Hantao Zhang A Case Study of the Completion Procedure: Proving Ring Commutativity Problems. [Citation Graph (0, 0)][DBLP ] Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:360-394 [Conf ] Peter Baumgartner , Christian G. Fermüller , Nicolas Peltier , Hantao Zhang Workshop: Model Computation - Principles, Algorithms, Applications. [Citation Graph (0, 0)][DBLP ] CADE, 2000, pp:513- [Conf ] Xin Hua , Hantao Zhang FRI: Failure-Resistant Induction in RRL. [Citation Graph (0, 0)][DBLP ] CADE, 1992, pp:691-695 [Conf ] Deepak Kapur , Paliath Narendran , Hantao Zhang Proof by Induction Using Test Sets. [Citation Graph (0, 0)][DBLP ] CADE, 1986, pp:99-117 [Conf ] Deepak Kapur , G. Sivakumar , Hantao Zhang RRL: A Rewrite Rule Laboratory. [Citation Graph (0, 0)][DBLP ] CADE, 1986, pp:691-692 [Conf ] Deepak Kapur , Hantao Zhang RRL: A Rewrite Rule Laboratory. [Citation Graph (0, 0)][DBLP ] CADE, 1988, pp:768-769 [Conf ] Hantao Zhang Herky: High Performance Rewriting in RRL. [Citation Graph (0, 0)][DBLP ] CADE, 1992, pp:696-700 [Conf ] Hantao Zhang SATO: An Efficient Propositional Prover. [Citation Graph (0, 0)][DBLP ] CADE, 1997, pp:272-275 [Conf ] Hantao Zhang , Xin Hua Proving the Chinese Remainder Theorem by the Cover Set Induction. [Citation Graph (0, 0)][DBLP ] CADE, 1992, pp:431-445 [Conf ] Hantao Zhang , Deepak Kapur First-Order Theorem Proving Using Conditional Rewrite Rules. [Citation Graph (0, 0)][DBLP ] CADE, 1988, pp:1-20 [Conf ] Hantao Zhang , Deepak Kapur , Mukkai S. Krishnamoorthy A Mechanizable Induction Principle for Equational Specifications. [Citation Graph (0, 0)][DBLP ] CADE, 1988, pp:162-181 [Conf ] Jian Zhang , Hantao Zhang System Description: Generating Models by SEM. [Citation Graph (0, 0)][DBLP ] CADE, 1996, pp:308-312 [Conf ] Jian Zhang , Hantao Zhang Constraint Propagation in Model Generation. [Citation Graph (0, 0)][DBLP ] CP, 1995, pp:398-414 [Conf ] Hantao Zhang Proving Group Isomorphism Theorems (Extended Abstract). [Citation Graph (0, 0)][DBLP ] CTRS, 1992, pp:302-306 [Conf ] Hantao Zhang Implementing Contextual Rewriting. [Citation Graph (0, 0)][DBLP ] CTRS, 1992, pp:363-377 [Conf ] Jean-Luc Remy , Hantao Zhang REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types. [Citation Graph (0, 0)][DBLP ] ECAI, 1984, pp:373-382 [Conf ] Deepak Kapur , Paliath Narendran , Hantao Zhang Complexity of Sufficient-Completeness. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1986, pp:426-442 [Conf ] Deepak Kapur , G. Sivakumar , Hantao Zhang A New Method for Proving Termination of AC-Rewrite Systems. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1990, pp:133-148 [Conf ] Xin Hua , Hantao Zhang Formal Semantics of VHDL for Verification of Circuit Designs. [Citation Graph (0, 0)][DBLP ] ICCD, 1993, pp:446-449 [Conf ] Jian Zhang , Hantao Zhang SEM: a System for Enumerating Models. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:298-303 [Conf ] Hantao Zhang Approximate Reasoning in Strength Logic. [Citation Graph (0, 0)][DBLP ] ISMVL, 1990, pp:262-269 [Conf ] Haiou Shen , Hantao Zhang Another Complete Local Search Method for SAT. [Citation Graph (0, 0)][DBLP ] LPAR, 2005, pp:595-605 [Conf ] Deepak Kapur , Hantao Zhang An Overview of Rewrite Rule Laboratory (RRL). [Citation Graph (0, 0)][DBLP ] RTA, 1989, pp:559-563 [Conf ] Mark E. Stickel , Hantao Zhang Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results. [Citation Graph (0, 0)][DBLP ] RTA, 1995, pp:450-456 [Conf ] Hantao Zhang A Case Study of Completion Modulo Distributivity and Abelian Groups. [Citation Graph (0, 0)][DBLP ] RTA, 1993, pp:32-46 [Conf ] Hantao Zhang , Deepak Kapur Consider Only General Superpositions in Completion Procedures. [Citation Graph (0, 0)][DBLP ] RTA, 1989, pp:513-527 [Conf ] Hantao Zhang , Jean-Luc Remy Contextual Rewriting. [Citation Graph (0, 0)][DBLP ] RTA, 1985, pp:46-62 [Conf ] Zhuo Huang , Hantao Zhang , Jian Zhang Improving First-order Model Searching by Propositional Reasoning and Lemma Learning. [Citation Graph (0, 0)][DBLP ] SAT, 2004, pp:- [Conf ] Hantao Zhang A Complete Random Jump Strategy with Guiding Paths. [Citation Graph (0, 0)][DBLP ] SAT, 2006, pp:96-101 [Conf ] Hantao Zhang , Dapeng Li , Haiou Shen A SAT Based Scheduler for Tournament Schedules. [Citation Graph (0, 0)][DBLP ] SAT, 2004, pp:- [Conf ] Deepak Kapur , Paliath Narendran , Daniel J. Rosenkrantz , Hantao Zhang Sufficient-Completeness, Ground-Reducibility and their Complexity. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1991, v:28, n:4, pp:311-350 [Journal ] Deepak Kapur , Paliath Narendran , Hantao Zhang On Sufficient-Completeness and Related Properties of Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1987, v:24, n:4, pp:395-415 [Journal ] Haiou Shen , Hantao Zhang Improving exact algorithms for MAX-2-SAT. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2005, v:44, n:4, pp:419-436 [Journal ] Hantao Zhang , Gary Xin Hua Proving Ramsey's Theorem by the Cover Set Induction: A Case and Comparison Study. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:383-405 [Journal ] R. Julian R. Abel , Frank E. Bennett , Hantao Zhang , Lie Zhu Existence of HSOLSSOMs with type hn and 1n u1 . [Citation Graph (0, 0)][DBLP ] Ars Comb., 2000, v:55, n:, pp:- [Journal ] R. Julian R. Abel , Charles J. Colbourn , Jianxing Yin , Hantao Zhang Existence of Incomplete Transversal Designs with Block Size Five and Any Index lambda. [Citation Graph (0, 0)][DBLP ] Des. Codes Cryptography, 1997, v:10, n:3, pp:275-307 [Journal ] Frank E. Bennett , Jianxing Yin , Hantao Zhang , R. Julian R. Abel Perfect Mendelsohn Packing Designs with Block Size Five. [Citation Graph (0, 0)][DBLP ] Des. Codes Cryptography, 1998, v:14, n:1, pp:5-22 [Journal ] R. Julian R. Abel , Frank E. Bennett , Hantao Zhang , Lie Zhu Steiner pentagon covering designs. [Citation Graph (0, 0)][DBLP ] Discrete Mathematics, 2001, v:231, n:1-3, pp:11-26 [Journal ] Frank E. Bennett , Beiliang Du , Hantao Zhang Existence of self-orthogonal diagonal Latin squares with a missing subsquare. [Citation Graph (0, 0)][DBLP ] Discrete Mathematics, 2003, v:261, n:1-3, pp:69-86 [Journal ] Frank E. Bennett , Hantao Zhang Latin Squares with Self-Orthogonal Conjugates. [Citation Graph (0, 0)][DBLP ] Discrete Mathematics, 2004, v:284, n:1-3, pp:45-55 [Journal ] Lie Zhu , Hantao Zhang A few more r -orthogonal latin squares. [Citation Graph (0, 0)][DBLP ] Discrete Mathematics, 2001, v:238, n:1-3, pp:183-191 [Journal ] Yungqing Xu , Hantao Zhang , Lie Zhu Existence of frame SOLS of type an b 1 . [Citation Graph (0, 0)][DBLP ] Discrete Mathematics, 2002, v:250, n:1-3, pp:211-230 [Journal ] Lie Zhu , Hantao Zhang Completing the spectrum of r-orthogonal Latin squares. [Citation Graph (0, 0)][DBLP ] Discrete Mathematics, 2003, v:268, n:1-3, pp:343-349 [Journal ] Hantao Zhang , Haiou Shen , Felip Manyà Exact Algorithms for MAX-SAT. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal ] Hantao Zhang Contextual Rewriting in Automated Reasoning. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1995, v:24, n:1/2, pp:107-123 [Journal ] Hans-Jürgen Bürckert , Alexander Herold , Deepak Kapur , Jörg H. Siekmann , Mark E. Stickel , Michael Tepp , Hantao Zhang Opening the AC-Unification Race. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1988, v:4, n:4, pp:465-474 [Journal ] Deepak Kapur , G. Sivakumar , Hantao Zhang A Path Ordering for Proving Termination of AC Rewrite Systems. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1995, v:14, n:2, pp:293-316 [Journal ] Deepak Kapur , Hantao Zhang Proving Equivalence of Different Axiomatizations of Free Groups. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1988, v:4, n:3, pp:331-352 [Journal ] Hantao Zhang Automated Proofs of Equality Problems in Overbeek's Competition. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1993, v:11, n:3, pp:333-351 [Journal ] Hantao Zhang , Mark E. Stickel Implementing the Davis-Putnam Method. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2000, v:24, n:1/2, pp:277-296 [Journal ] Frank E. Bennett , Hantao Zhang , Lie Zhu Self-Orthogonal Mendelsohn Triple Systems. [Citation Graph (0, 0)][DBLP ] J. Comb. Theory, Ser. A, 1996, v:73, n:2, pp:207-218 [Journal ] Peter Baumgartner , Hantao Zhang Preface to First order theorem proving. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2003, v:36, n:1-2, pp:1-3 [Journal ] Deepak Kapur , Paliath Narendran , Hantao Zhang Automating Inductionless Induction Using Test Sets. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1991, v:11, n:1/2, pp:81-111 [Journal ] Hantao Zhang Automated Proof of Ring Commutativity Problems by Algebraic Methods. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1990, v:9, n:4, pp:423-427 [Journal ] Hantao Zhang A New Method for the Boolean Ring Based Theorem Proving. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1994, v:17, n:2, pp:189-211 [Journal ] Hantao Zhang , Maria Paola Bonacina , Jieh Hsiang PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1996, v:21, n:4, pp:543-560 [Journal ] Hantao Zhang , Deepak Kapur Unnecessary Inferences in Associative-Commutative Completion Procedures. [Citation Graph (0, 0)][DBLP ] Mathematical Systems Theory, 1990, v:23, n:3, pp:175-206 [Journal ] Qiaoming Han , Yinyu Ye , Hantao Zhang , Jiawei Zhang On approximation of max-vertex-cover. [Citation Graph (0, 0)][DBLP ] European Journal of Operational Research, 2002, v:143, n:2, pp:342-355 [Journal ] R. Julian R. Abel , Hantao Zhang Direct constructions for certain types of HMOLS. [Citation Graph (0, 0)][DBLP ] Discrete Mathematics, 1998, v:181, n:1-3, pp:1-17 [Journal ] A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract). [Citation Graph (, )][DBLP ] Constraint processing in relational database systems: from theory to implementation. [Citation Graph (, )][DBLP ] Frame self-orthogonal Mendelsohn triple systems of type hn . [Citation Graph (, )][DBLP ] Existence of HSOLSSOMs of type 2n u1 . [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.460secs