Zhongtao Xie

Zhongtao Xie

Ph.D. candidate

Guizhou University

Github repository

francisol/GZUthesis-template

Template of Guizhou University thesis

7 3 TeX
francisol/rssat

A Rust library that provides Rust bindings for multiple popular SAT solvers

0 0 Rust
gzu-ai/circ_solver

A solver for circumscription based on SAT solver

0 0 C++

Interests
  • Knowledge Representation and Reasoning
  • Circumscription
  • Satisfiability
  • Artificial Intelligence
Education

  • M.A. & Ph.D. in Software, 2019-

    Guizhou University

  • B.S. in Computer Science and Technology, 2013-2017

    Guizhou University