The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Cunjing Ge" ( http://dblp.L3S.de/Authors/Cunjing_Ge )

  Author page on DBLP  Author page in RDF  Community of Cunjing Ge in ASPL-2

Publication years (Num. hits)
2014 (1) 2015 (3) 2017 (1) 2018 (7) 2019 (2)
Publication types (Num. hits)
article(5) inproceedings(9)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang 0001 Approximating Integer Solution Counting via Space Quantification for Linear Constraints. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang 0001 Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. Search on Bibsonomy ISSAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Peng Zhang 0008, Jian Zhang 0001 Computing and estimating the volume of the solution space of SMT(LA) constraints. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Aleksandrov, Cunjing Ge, Toby Walsh Fair Division Minimizing Inequality. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Cunjing Ge, Jiwei Yan, Jun Yan, Jian Zhang Checking Activity Transition Systems with Back Transitions Against Assertions. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang 0001, Xutong Ma A New Probabilistic Algorithm for Approximate Model Counting. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang 0001, Hantao Zhang Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang 0001, Xutong Ma A New Probabilistic Algorithm for Approximate Model Counting. Search on Bibsonomy PRUV@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Jian Zhang 0001 VolCE: An Efficient Tool for Solving #SMT(LA) Problems. Search on Bibsonomy PRUV@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang 0001 A New Probabilistic Algorithm for Approximate Model Counting. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Jian Zhang 0001 A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Cunjing Ge, Feifei Ma A Fast and Practical Method to Estimate Volumes of Convex Polytopes. Search on Bibsonomy FAW The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Jeff Huang 0001, Jian Zhang 0001 SMT Solving for the Theory of Ordering Constraints. Search on Bibsonomy LCPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Jian Zhang 0001 A Fast and Practical Method to Estimate Volumes of Convex Polytopes. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license