Skip to content

Quoc-Sang Phan

  • PhD
  • 12PublicationsNumber of items in Quoc-Sang's My Publications folder on Mendeley.
  • 2Followers

Recent publications

  • Model-Counting Approaches for Nonlinear Numerical Constraints

    • Borges M
    • Phan Q
    • Filieri A
    • et al.
    N/AReaders
    N/ACitations
    Get full text
  • Model Counting Modulo Theories

    • Phan Q
    N/AReaders
    N/ACitations

Education

MSc

University of Trento

September 2008 - December 2010(2 years)

BEng

Hochiminh City University of Technology

September 2000 - October 2006(6 years)

About

Born in Ha Tinh, Vietnam.

Followers (2)

Following (2)