Edit Profile Marre, Bruno Compute Distance To: Compute Author ID: marre.bruno Published as: Marre, Bruno Documents Indexed: 2 Publications since 2006 all top 5 Co-Authors 0 single-authored 1 Aiguier, Marc 1 Arnould, Agnès 1 Bardin, Sébastien 1 Bobot, François 1 Boin, Clément 1 Chihani, Zakaria 1 Le Gall, Pascale Serials Fields 2 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year Citations contained in zbMATH 2 Publications have been cited 4 times in 4 Documents Cited by ▼ Year ▼ Testing from algebraic specifications: Test data set selection by unfolding axioms. Zbl 1183.68175Aiguier, Marc; Arnould, Agnès; Boin, Clément; Le Gall, Pascale; Marre, Bruno 3 2006 Sharpening constraint programming approaches for bit-vector theory. Zbl 06756571Chihani, Zakaria; Marre, Bruno; Bobot, François; Bardin, Sébastien 1 2017 Sharpening constraint programming approaches for bit-vector theory. Zbl 06756571Chihani, Zakaria; Marre, Bruno; Bobot, François; Bardin, Sébastien 1 2017 Testing from algebraic specifications: Test data set selection by unfolding axioms. Zbl 1183.68175Aiguier, Marc; Arnould, Agnès; Boin, Clément; Le Gall, Pascale; Marre, Bruno 3 2006 all top 5 Cited by 9 Authors 3 Aiguier, Marc 2 Le Gall, Pascale 2 Longuet, Delphine 1 Arnould, Agnès 1 Boin, Clément 1 Marre, Bruno 1 Søndergaard, Harald 1 Stuckey, Peter James 1 Wang, Wenxi Cited in 2 Serials 2 Journal of Automated Reasoning 1 Logica Universalis Cited in 2 Fields 3 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year