The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hantao Zhang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sun Kim, Hantao Zhang
    ModGen: Theorem Proving by Model Generation. [Citation Graph (0, 0)][DBLP]
    AAAI, 1994, pp:162-167 [Conf]
  2. Haiou Shen, Hantao Zhang
    Study of Lower Bound Functions for MAX-2-SAT. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:185-190 [Conf]
  3. 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]
  4. Jian Zhang, Hantao Zhang
    Extending Finite Model Searching with Congruence Closure Computation. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:94-102 [Conf]
  5. Hantao Zhang
    A Randomization Strategy for Combinatorial Search. [Citation Graph (0, 0)][DBLP]
    AMAI, 2002, pp:- [Conf]
  6. Haiou Shen, Hantao Zhang
    Improving Exact Algorithms for MAX-2-SAT. [Citation Graph (0, 0)][DBLP]
    AMAI, 2004, pp:- [Conf]
  7. Hantao Zhang, Angshuman Guha, Xin Hua
    Using Algebraic Specification in Floyd-Hoare Assertions. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:350-362 [Conf]
  8. 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]
  9. 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]
  10. Xin Hua, Hantao Zhang
    FRI: Failure-Resistant Induction in RRL. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:691-695 [Conf]
  11. Deepak Kapur, Paliath Narendran, Hantao Zhang
    Proof by Induction Using Test Sets. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:99-117 [Conf]
  12. Deepak Kapur, G. Sivakumar, Hantao Zhang
    RRL: A Rewrite Rule Laboratory. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:691-692 [Conf]
  13. Deepak Kapur, Hantao Zhang
    RRL: A Rewrite Rule Laboratory. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:768-769 [Conf]
  14. Hantao Zhang
    Herky: High Performance Rewriting in RRL. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:696-700 [Conf]
  15. Hantao Zhang
    SATO: An Efficient Propositional Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:272-275 [Conf]
  16. 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]
  17. Hantao Zhang, Deepak Kapur
    First-Order Theorem Proving Using Conditional Rewrite Rules. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:1-20 [Conf]
  18. 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]
  19. Jian Zhang, Hantao Zhang
    System Description: Generating Models by SEM. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:308-312 [Conf]
  20. Jian Zhang, Hantao Zhang
    Constraint Propagation in Model Generation. [Citation Graph (0, 0)][DBLP]
    CP, 1995, pp:398-414 [Conf]
  21. Hantao Zhang
    Proving Group Isomorphism Theorems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CTRS, 1992, pp:302-306 [Conf]
  22. Hantao Zhang
    Implementing Contextual Rewriting. [Citation Graph (0, 0)][DBLP]
    CTRS, 1992, pp:363-377 [Conf]
  23. 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]
  24. Deepak Kapur, Paliath Narendran, Hantao Zhang
    Complexity of Sufficient-Completeness. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1986, pp:426-442 [Conf]
  25. 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]
  26. Xin Hua, Hantao Zhang
    Formal Semantics of VHDL for Verification of Circuit Designs. [Citation Graph (0, 0)][DBLP]
    ICCD, 1993, pp:446-449 [Conf]
  27. Jian Zhang, Hantao Zhang
    SEM: a System for Enumerating Models. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:298-303 [Conf]
  28. Hantao Zhang
    Approximate Reasoning in Strength Logic. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1990, pp:262-269 [Conf]
  29. Haiou Shen, Hantao Zhang
    Another Complete Local Search Method for SAT. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:595-605 [Conf]
  30. Deepak Kapur, Hantao Zhang
    An Overview of Rewrite Rule Laboratory (RRL). [Citation Graph (0, 0)][DBLP]
    RTA, 1989, pp:559-563 [Conf]
  31. 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]
  32. Hantao Zhang
    A Case Study of Completion Modulo Distributivity and Abelian Groups. [Citation Graph (0, 0)][DBLP]
    RTA, 1993, pp:32-46 [Conf]
  33. Hantao Zhang, Deepak Kapur
    Consider Only General Superpositions in Completion Procedures. [Citation Graph (0, 0)][DBLP]
    RTA, 1989, pp:513-527 [Conf]
  34. Hantao Zhang, Jean-Luc Remy
    Contextual Rewriting. [Citation Graph (0, 0)][DBLP]
    RTA, 1985, pp:46-62 [Conf]
  35. 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]
  36. Hantao Zhang
    A Complete Random Jump Strategy with Guiding Paths. [Citation Graph (0, 0)][DBLP]
    SAT, 2006, pp:96-101 [Conf]
  37. Hantao Zhang, Dapeng Li, Haiou Shen
    A SAT Based Scheduler for Tournament Schedules. [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. R. Julian R. Abel, Frank E. Bennett, Hantao Zhang, Lie Zhu
    Existence of HSOLSSOMs with type hn and 1nu1. [Citation Graph (0, 0)][DBLP]
    Ars Comb., 2000, v:55, n:, pp:- [Journal]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. Yungqing Xu, Hantao Zhang, Lie Zhu
    Existence of frame SOLS of type anb1. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 2002, v:250, n:1-3, pp:211-230 [Journal]
  50. 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]
  51. 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]
  52. Hantao Zhang
    Contextual Rewriting in Automated Reasoning. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1995, v:24, n:1/2, pp:107-123 [Journal]
  53. 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]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. 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]
  65. 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]
  66. 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]

  67. A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract). [Citation Graph (, )][DBLP]


  68. Constraint processing in relational database systems: from theory to implementation. [Citation Graph (, )][DBLP]


  69. Frame self-orthogonal Mendelsohn triple systems of type hn. [Citation Graph (, )][DBLP]


  70. Existence of HSOLSSOMs of type 2nu1. [Citation Graph (, )][DBLP]


Search in 0.060secs, Finished in 0.062secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002