EasyChair Smart SlideDocs/Log in
Author: Cunjing Ge

This page shows all presentations of this author published in EasyChair Smart Slide.

Investigating the Existence of Costas Latin Square via Satisfiability Testing

Investigating the Existence of Costas Latin Square via Satisfiability Testing

Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma and Jian Zhang

VolCE: An Efficient Tool for Solving #SMT(LA) Problems

VolCE: An Efficient Tool for Solving #SMT(LA) Problems

Cunjing Ge, Feifei Ma and Jian Zhang

A New Probabilistic Algorithm for Approximate Model Counting

A New Probabilistic Algorithm for Approximate Model Counting

Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang and Xutong Ma

Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing

Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing

Pei Huang, Feifei Ma, Jian Zhang, Cunjing Ge and Hantao Zhang

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair