×

zbMATH — the first resource for mathematics

Bobot, François

Compute Distance To:
Author ID: bobot.francois Recent zbMATH articles by "Bobot, François"
Published as: Bobot, Francois; Bobot, François
Documents Indexed: 5 Publications since 2011

Serials

Publications by Year

Citations contained in zbMATH

4 Publications have been cited 9 times in 9 Documents Cited by Year
Certified complexity (CerCo). Zbl 1445.68057
Amadio, Roberto M.; Ayache, Nicolas; Bobot, Francois; Boender, Jaap P.; Campbell, Brian; Garnier, Ilias; Madet, Antoine; McKinna, James; Mulligan, Dominic P.; Piccolo, Mauro; Pollack, Randy; Régis-Gianas, Yann; Sacerdoti Coen, Claudio; Stark, Ian; Tranquilli, Paolo
3
2014
A simplex-based extension of Fourier-Motzkin for solving linear integer arithmetic. Zbl 1358.68249
Bobot, François; Conchon, Sylvain; Contejean, Evelyne; Iguernelala, Mohamed; Mahboubi, Assia; Mebsout, Alain; Melquiond, Guillaume
3
2012
Expressing polymorphic types in a many-sorted language. Zbl 1348.68215
Bobot, François; Paskevich, Andrei
2
2011
Sharpening constraint programming approaches for bit-vector theory. Zbl 06756571
Chihani, Zakaria; Marre, Bruno; Bobot, François; Bardin, Sébastien
1
2017
Sharpening constraint programming approaches for bit-vector theory. Zbl 06756571
Chihani, Zakaria; Marre, Bruno; Bobot, François; Bardin, Sébastien
1
2017
Certified complexity (CerCo). Zbl 1445.68057
Amadio, Roberto M.; Ayache, Nicolas; Bobot, Francois; Boender, Jaap P.; Campbell, Brian; Garnier, Ilias; Madet, Antoine; McKinna, James; Mulligan, Dominic P.; Piccolo, Mauro; Pollack, Randy; Régis-Gianas, Yann; Sacerdoti Coen, Claudio; Stark, Ian; Tranquilli, Paolo
3
2014
A simplex-based extension of Fourier-Motzkin for solving linear integer arithmetic. Zbl 1358.68249
Bobot, François; Conchon, Sylvain; Contejean, Evelyne; Iguernelala, Mohamed; Mahboubi, Assia; Mebsout, Alain; Melquiond, Guillaume
3
2012
Expressing polymorphic types in a many-sorted language. Zbl 1348.68215
Bobot, François; Paskevich, Andrei
2
2011

Citations by Year