×

zbMATH — the first resource for mathematics

Audemard, Gilles

Compute Distance To:
Author ID: audemard.gilles Recent zbMATH articles by "Audemard, Gilles"
Published as: Audemard, G.; Audemard, Gilles
Documents Indexed: 22 Publications since 2000

Publications by Year

Citations contained in zbMATH Open

16 Publications have been cited 86 times in 73 Documents Cited by Year
A SAT based approach for solving formulas over Boolean and linear mathematical propositions. Zbl 1072.68562
Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Korniłowicz, Artur; Sebastiani, Roberto
15
2002
Verifying industrial hybrid systems with MathSAT. Zbl 1272.68220
Audemard, Gilles; Bozzano, Marco; Cimatti, Alessandro; Sebastiani, Roberto
14
2005
Bounded model checking for timed systems. Zbl 1037.68549
Audemard, G.; Cimatti, A.; Kornilowicz, A.; Sebastiani, R.
11
2002
Improving Glucose for incremental SAT solving with assumptions: application to MUS extraction. Zbl 1390.68587
Audemard, Gilles; Lagniez, Jean-Marie; Simon, Laurent
10
2013
A generalized framework for conflict analysis. Zbl 1138.68485
Audemard, G.; Bordeaux, L.; Hamadi, Y.; Jabbour, S.; Sais, L.
8
2008
Impact of community structure on SAT solver performance. Zbl 1423.68465
Newsham, Zack; Ganesh, Vijay; Fischmeister, Sebastian; Audemard, Gilles; Simon, Laurent
7
2014
Lazy clause exchange policy for parallel SAT solvers. Zbl 1423.68431
Audemard, Gilles; Simon, Laurent
5
2014
On freezing and reactivating learnt clauses. Zbl 1330.68267
Audemard, Gilles; Lagniez, Jean-Marie; Mazure, Bertrand; Saïs, Lakhdar
4
2011
Predicting and detecting symmetries in FOL finite model search. Zbl 1107.68092
Audemard, Gilles; Benhamou, Belaïd; Henocque, Laurent
2
2006
Reasoning by symmetry and function ordering in finite model generation. Zbl 1072.68561
Audemard, Gilles; Benhamou, Belaid
2
2002
The eXtended least number heuristic. Zbl 0988.68605
Audemard, Gilles; Henocque, Laurent
2
2001
AVAL: An enumerative method for SAT. Zbl 0983.68530
Audemard, Gilles; Benhamou, Belaid; Siegel, Pierre
2
2000
Extreme cases in SAT problems. Zbl 06623507
Audemard, Gilles; Simon, Laurent
1
2016
Boosting local search thanks to cdcl. Zbl 1306.68138
Audemard, Gilles; Lagniez, Jean-Marie; Mazure, Bertrand; Saïs, Lakhdar
1
2010
A symbolic search based approach for quantified Boolean formulas. Zbl 1128.68451
Audemard, Gilles; Saïs, Lakhdar
1
2005
Integrating Boolean and mathematical solving: Foundations, basic algorithms, and requirements. Zbl 1072.68603
Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Korniłowicz, Artur; Sebastiani, Roberto
1
2002
Extreme cases in SAT problems. Zbl 06623507
Audemard, Gilles; Simon, Laurent
1
2016
Impact of community structure on SAT solver performance. Zbl 1423.68465
Newsham, Zack; Ganesh, Vijay; Fischmeister, Sebastian; Audemard, Gilles; Simon, Laurent
7
2014
Lazy clause exchange policy for parallel SAT solvers. Zbl 1423.68431
Audemard, Gilles; Simon, Laurent
5
2014
Improving Glucose for incremental SAT solving with assumptions: application to MUS extraction. Zbl 1390.68587
Audemard, Gilles; Lagniez, Jean-Marie; Simon, Laurent
10
2013
On freezing and reactivating learnt clauses. Zbl 1330.68267
Audemard, Gilles; Lagniez, Jean-Marie; Mazure, Bertrand; Saïs, Lakhdar
4
2011
Boosting local search thanks to cdcl. Zbl 1306.68138
Audemard, Gilles; Lagniez, Jean-Marie; Mazure, Bertrand; Saïs, Lakhdar
1
2010
A generalized framework for conflict analysis. Zbl 1138.68485
Audemard, G.; Bordeaux, L.; Hamadi, Y.; Jabbour, S.; Sais, L.
8
2008
Predicting and detecting symmetries in FOL finite model search. Zbl 1107.68092
Audemard, Gilles; Benhamou, Belaïd; Henocque, Laurent
2
2006
Verifying industrial hybrid systems with MathSAT. Zbl 1272.68220
Audemard, Gilles; Bozzano, Marco; Cimatti, Alessandro; Sebastiani, Roberto
14
2005
A symbolic search based approach for quantified Boolean formulas. Zbl 1128.68451
Audemard, Gilles; Saïs, Lakhdar
1
2005
A SAT based approach for solving formulas over Boolean and linear mathematical propositions. Zbl 1072.68562
Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Korniłowicz, Artur; Sebastiani, Roberto
15
2002
Bounded model checking for timed systems. Zbl 1037.68549
Audemard, G.; Cimatti, A.; Kornilowicz, A.; Sebastiani, R.
11
2002
Reasoning by symmetry and function ordering in finite model generation. Zbl 1072.68561
Audemard, Gilles; Benhamou, Belaid
2
2002
Integrating Boolean and mathematical solving: Foundations, basic algorithms, and requirements. Zbl 1072.68603
Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Korniłowicz, Artur; Sebastiani, Roberto
1
2002
The eXtended least number heuristic. Zbl 0988.68605
Audemard, Gilles; Henocque, Laurent
2
2001
AVAL: An enumerative method for SAT. Zbl 0983.68530
Audemard, Gilles; Benhamou, Belaid; Siegel, Pierre
2
2000
all top 5

Cited by 146 Authors

4 Eggers, Andreas
4 Fränzle, Martin
4 Strichman, Ofer
3 Benhamou, Belaid
3 Cimatti, Alessandro
3 Saïs, Lakhdar
3 Sebastiani, Roberto
3 Teige, Tino
2 Audemard, Gilles
2 Badban, Bahareh
2 Balyo, Tomáš
2 Biere, Armin
2 Bu, Lei
2 Cerutti, Federico
2 Czarnecki, Krzysztof
2 Egly, Uwe
2 Ganesh, Vijay
2 Giacomin, Massimiliano
2 Giráldez-Cru, Jesús
2 Hamadi, Youssef
2 Herde, Christian
2 Jabbour, Said
2 Junttila, Tommi A.
2 Kröning, Daniel
2 Lagniez, Jean-Marie
2 Levy, Jordi
2 Li, Xuandong
2 Liang, Jia Hui
2 Lonsing, Florian
2 Marques-Silva, João P.
2 Mover, Sergio
2 Previti, Alessandro
2 Seshia, Sanjit Arunkumar
2 Sinz, Carsten
2 Tomasi, Silvia
2 Tonetta, Stefano
2 Vallati, Mauro
2 Van Gelder, Allen
1 Aanand, Sumit Jha
1 Ábrahám, Erika
1 Amendola, Giovanni
1 Amjad, Hasan
1 Ansótegui, Carlos
1 Armando, Alessandro
1 Barrett, Clark W.
1 Becker, Bernd
1 Bersani, Marcello Maria
1 Bozzano, Marco
1 Bruttomesso, Roberto
1 Castellini, Claudio
1 Darwiche, Adnan
1 Däubel, Karl
1 Davis, Ernest E.
1 Déharbe, David
1 Fietzke, Arnaud
1 Fischmeister, Sebastian
1 Fontaine, Pascal
1 Fremont, Daniel J.
1 Fröhlich, Andreas M.
1 Fujita, Hiroshi
1 Ganian, Robert
1 Gershman, Roman
1 Giunchiglia, Enrico
1 Griggio, Alberto
1 Henocque, Laurent
1 Herbstritt, Marc
1 Ignatyev, Alexey A.
1 Iser, Markus
1 Jäger, Sven
1 Kalinnik, Natalia
1 Karppa, Matti
1 Kaski, Petteri
1 Kemper, Stephanie
1 Kohonen, Jukka
1 Koifman, Maya
1 Koshimura, Miyuki
1 Kronegger, Martin
1 Kupferschmid, Stefan
1 Lange, Martin
1 Le Berre, Daniel
1 Lindsay, William
1 Lomuscio, Alessio
1 Lonca, Emmanuel
1 Lynce, Inês
1 Manquinho, Vasco M.
1 Maratea, Marco
1 Marquis, Pierre
1 Martins, Ruben
1 Mazure, Bertrand
1 Meier, Andreas
1 Mencía, Carlos
1 Merz, Stephan
1 Meseguer, José
1 Mull, Nathan
1 Mütze, Torsten
1 Newsham, Zack
1 Nieuwenhuis, Robert
1 Oh, Chanseok
1 Oliveras, Albert
1 Paris, Lionel
...and 46 more Authors

Citations by Year