Vol-3272⫷ Vol-3273 ⫸Vol-3274
urn:nbn:de:0074-3273-0


Vol-3273/invited2⫷Vol-3273/keynote1⫸Vol-3273/paper1
Vijay Ganesh

Logic Solvers and Machine Learning: The Next Frontier (keynote abstract)