Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Coauthors
(8)
Edmund M. Clarke
3
Aarti Gupta
1
Franjo Ivancic
1
Sriram Sankaranarayanan
1
Malay K. Ganai
1
Conferences
(2)
FMCAD
1
Theory and Applications of Satisfiability Testing
1
Journals
(1)
CORR
1
Keywords
(9)
Embed
Subscribe
Academic
Authors
Sicun Gao
Sicun Gao,Carnegie Mellon University,Software Engineering,Artificial Intelligence,Scientific Computing
Edit
Sicun Gao
Carnegie Mellon University
Publications:
4

Citations:
2
Fields:
Software Engineering
,
Artificial Intelligence
,
Scientific Computing
View FAQ about top research areas and Fields of study
Collaborated with
8 coauthors
from 2010 to 2011

Cited by
6 authors
Cumulative
Annual
Sort by:
Publications
(4)
BibTeX

RIS

RefWorks
Download
Quantifier Elimination over Finite Fields Using Gröbner Bases
Sicun Gao
,
André Platzer
,
Edmund M. Clarke
Journal:
Computing Research Repository  CORR
, vol. abs/1104.0, 2011
Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems
(
Citations: 1
)
Sicun Gao
,
Malay K. Ganai
,
Franjo Ivancic
,
Aarti Gupta
,
Sriram Sankaranarayanan
,
Edmund M. Clarke
Conference:
Formal Methods in ComputerAided Design  FMCAD
, pp. 8189, 2010
A Nonprenex, Nonclausal QBF Solver with GameState Learning
William Klieber
,
Samir Sapra
,
Sicun Gao
,
Edmund M. Clarke
Conference:
Theory and Applications of Satisfiability Testing
, pp. 128142, 2010
Counting Zeros over Finite Fields with Grobner Bases
(
Citations: 1
)
Sicun Gao
Sort by:
Citations
(2 times by 2 publications)
Quantifier Elimination over Finite Fields Using Gröbner Bases
Sicun Gao
,
André Platzer
,
Edmund M. Clarke
Journal:
Computing Research Repository  CORR
, vol. abs/1104.0, 2011
Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems
(
Citations: 1
)
Sicun Gao
,
Malay K. Ganai
,
Franjo Ivancic
,
Aarti Gupta
,
Sriram Sankaranarayanan
,
Edmund M. Clarke
Conference:
Formal Methods in ComputerAided Design  FMCAD
, pp. 8189, 2010
Comments