The following pages link to Han-Tao Zhang (Q1617008):
Displaying 50 items.
- (Q184648) (redirect page) (← links)
- An experiment with satisfiability modulo SAT (Q287334) (← links)
- (Q343777) (redirect page) (← links)
- The existence of irrational diagonally ordered magic squares (Q343778) (← links)
- 25 new \(r\)-self-orthogonal Latin squares (Q383692) (← links)
- Existence of incomplete transversal designs with block size five and any index \(\lambda\) (Q676717) (← links)
- Automating inductionless induction using test sets (Q758216) (← links)
- Schröder quasigroups with a specified number of idempotents (Q764872) (← links)
- Improving exact algorithms for MAX-2-SAT (Q812398) (← links)
- Automated proof of ring commutativity problems by algebraic methods (Q912612) (← links)
- On sufficient-completeness and related properties of term rewriting systems (Q1077161) (← links)
- Problem corner: Proving equivalence of different axiomatizations of free groups (Q1108815) (← links)
- Holey self-orthogonal Latin squares with symmetric orthogonal mates (Q1293430) (← links)
- Automated proofs of equality problems in Overbeek's competition (Q1319385) (← links)
- A new method for the Boolean ring based theorem proving (Q1333173) (← links)
- Proving Ramsey's theory by the cover set induction: A case and comparision study. (Q1353938) (← links)
- Perfect Mendelsohn packing designs with block size five (Q1379655) (← links)
- Direct constructions for certain types of HMOLS (Q1381842) (← links)
- Completing the spectrum of \(r\)-orthogonal Latin squares (Q1398282) (← links)
- The existence and application of strongly idempotent self-orthogonal row Latin magic arrays (Q1617009) (← links)
- Quasigroups satisfying Stein's third law with a specified number of idempotents (Q1759401) (← links)
- (Q1780304) (redirect page) (← links)
- Frame self-orthogonal Mendelsohn triple systems (Q1780305) (← links)
- Investigating the existence of large sets of idempotent quasigroups via satisfiability testing (Q1799096) (← links)
- On approximation of max-vertex-cover (Q1848386) (← links)
- Existence of self-orthogonal diagonal Latin squares with a missing subsquare (Q1861282) (← links)
- Latin squares with self-orthogonal conjugates (Q1876672) (← links)
- A path ordering for proving termination of AC rewrite systems (Q1891259) (← links)
- Holey perfect Mendelsohn designs of type \(2^nu^1\) with block size four (Q1952725) (← links)
- Implementing the Davis-Putnam method (Q1977761) (← links)
- PSATO: A distributed propositional prover and its application to quasigroup problems (Q2365127) (← links)
- Strongly symmetric self-orthogonal diagonal Latin squares and Yang Hui type magic squares (Q2449180) (← links)
- Frame self-orthogonal Mendelsohn triple systems of type \(h^n\) (Q2519821) (← links)
- Existence of HSOLSSOMs of type \(2^nu^1\) (Q2519830) (← links)
- Sufficient-completeness, ground-reducibility and their complexity (Q2641108) (← links)
- Existence of (3, 1, 2)-conjugate orthogonal diagonal latin squares (Q2746219) (← links)
- (Q2749864) (← links)
- (Q2829096) (← links)
- (Q2869473) (← links)
- (Q3155147) (← links)
- (Q3382177) (← links)
- An Empirical Study of MAX-2-SAT Phase Transitions (Q3439118) (← links)
- Unnecessary inferences in associative-commutative completion procedures (Q3489486) (← links)
- (Q3696496) (← links)
- (Q3713575) (← links)
- (Q3761697) (← links)
- (Q3783519) (← links)
- (Q3789100) (← links)
- (Q3805961) (← links)
- (Q3976057) (← links)
