Search Results - Association for Computing Machinary :: UTM Library Massive Scholar Tracking

1

Program synthesis for program analysis by David, C, Kesseli, P, Kroening, D, Lewis, M

Published 2018
“…Association for Computing Machinary…”

Journal article
2

The limits of SDP relaxations for general-valued CSPs by Thapper, J, Zivny, S

Published 2018
“…Association for Computing Machinary…”

Journal article