Edit Profile Perroud, Florian Compute Distance To: Compute Author ID: perroud.florian Published as: Perroud, Florian Documents Indexed: 1 Publication since 2010 Co-Authors 0 single-authored 1 Bardin, Sébastien 1 Herrmann, Philippe Serials Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH 1 Publication has been cited 3 times in 3 Documents Cited by ▼ Year ▼ An alternative to SAT-based approaches for bit-vectors. Zbl 1284.68379Bardin, Sébastien; Herrmann, Philippe; Perroud, Florian 3 2010 An alternative to SAT-based approaches for bit-vectors. Zbl 1284.68379Bardin, Sébastien; Herrmann, Philippe; Perroud, Florian 3 2010 all top 5 Cited by 10 Authors 1 Bardin, Sébastien 1 Bobot, François 1 Chihani, Zakaria 1 Marre, Bruno 1 Rümmer, Philipp 1 Søndergaard, Harald 1 Stuckey, Peter James 1 Wang, Wenxi 1 Wintersteiger, Christoph M. 1 Zeljić, Aleksandar Cited in 1 Serial 1 Journal of Automated Reasoning Cited in 2 Fields 3 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year