Travelled to:1 × Canada
1 × Switzerland
1 × USA
Collaborated with:J.Zhang F.Ma X.Jia R.Lu
Talks about:analysi (3) constraint (1) strategi (1) arithmet (1) quantit (1) program (1) boolean (1) solver (1) qualit (1) linear (1)
Person: Sheng Liu
DBLP: Liu:Sheng
Contributed to:
2011
2010
2009Wrote 3 papers:
- ICSE-2011-LiuZ #program analysis
- Program analysis: from qualitative analysis to quantitative analysis (SL, JZ), pp. 956–959.
- SAC-2010-JiaLLZ #satisfiability
- Local lemma: a new strategy of pruning in SAT solvers (XJ, RL, SL, JZ), pp. 2071–2072.
- CADE-2009-MaLZ #constraints #linear
- Volume Computation for Boolean Combination of Linear Arithmetic Constraints (FM, SL, JZ), pp. 453–468.