Program synthesis for program analysis অনুযায়ী David, C, Kesseli, P, Kroening, D, Lewis, M

“…Association for Computing Machinary…”

The limits of SDP relaxations for general-valued CSPs অনুযায়ী Thapper, J, Zivny, S

“…Association for Computing Machinary…”