Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
Tue 17 Jan 2017 11:30 - 12:00 at Amphitheater 44 - Model Checking and Synthesis Chair(s): Ahmed Bouajjani

We present a new method for solving nonlinear integer arithmetic constraints. The method relies on the MCSat approach to solving nonlinear constraints, while using branch and bound in a conflict-directed manner. We report encouraging experimental results where the new procedure outperforms state-of-the-art solvers based on bit-blasting.

Tue 17 Jan

VMCAI-2017-papers
10:30 - 12:00: VMCAI - Model Checking and Synthesis at Amphitheater 44
Chair(s): Ahmed BouajjaniIRIF, Université Paris Diderot
VMCAI-2017-papers10:30 - 11:00
Talk
Anca MuschollUniversité de Bordeaux / LaBRI, Helmut SeidlTechnische Universität München, Igor WalukiewiczCNRS, LaBRI
VMCAI-2017-papers11:00 - 11:30
Talk
Roderick BloemInstitute of Software Technology, Graz University of Technology , Hana Chockler, Masoud EbrahimiInstitute of Applied Information Processing and Communications, Graz University of Technology, Ofer StrichmanTechnion
File Attached
VMCAI-2017-papers11:30 - 12:00
Talk
Dejan JovanovićSRI International