Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs von Jifeng Xuan, Martinez, Matias, DeMarco, Favio, Clement, Maxime, Lamelas Marcote, Sebastian, Durieux, Thomas, Le Berre, Daniel, Monperrus, Martin

Volltext

Identification and visualization of variability implementations in object-oriented variability-rich systems: a symmetry-based approach von Tërnava, Xhevahire, Mortara, Johann, Collet, Philippe, Berre, Daniel Le

Volltext

The International SAT Solver Competitions von Järvisalo, Matti, Berre, Daniel Le, Roussel, Olivier, Simon, Laurent

Volltext

Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings von Creignou, Nadia, Le Berre, Daniel

Volltext

Establishing a national research software award von Blanc Catala, Isabelle, Di Cosmo, Roberto, Giraud, Mathieu, Le Berre, Daniel, Louvet, Violaine, Renaudin, Sophie

Volltext

Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer von Heule, Marijn J. H., Kullmann, Oliver, Marek, Victor W.

Volltext

Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem von Soh, Takehide, Le Berre, Daniel, Roussel, Stéphanie, Banbara, Mutsunori, Tamura, Naoyuki

Volltext

Learning Rate Based Branching Heuristic for SAT Solvers von Liang, Jia Hui, Ganesh, Vijay, Poupart, Pascal, Czarnecki, Krzysztof

Volltext

Automated metamorphic testing of variability analysis tools von Segura, Sergio, Durán, Amador, Sánchez, Ana B., Berre, Daniel Le, Lonca, Emmanuel, Ruiz-Cortés, Antonio

Volltext

On Dedicated CDCL Strategies for PB Solvers von Le Berre, Daniel, Wallon, Romain

Volltext

Actes des Journées européennes de la science ouverte: Open Science European Conference – OSEC 2022

Volltext

Solving Linux Upgradeability Problems Using Boolean Optimization von Argelich, Josep, Le Berre, Daniel, Lynce, Inês, Marques-Silva, Joao, Rapicault, Pascal

Volltext

Stereoisomers Are Not Machine Learning’s Best Friends von Tahıl, Gökhan, Delorme, Fabien, Le Berre, Daniel, Monflier, Éric, Sayede, Adlane, Tilloy, Sébastien

Volltext

LMHS: A SAT-IP Hybrid MaxSAT Solver von Saikko, Paul, Berg, Jeremias, Järvisalo, Matti

Volltext

Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT von Soeken, Mathias, Mishchenko, Alan, Petkovska, Ana, Sterin, Baruch, Ienne, Paolo, Brayton, Robert K., De Micheli, Giovanni

Volltext

On Weakening Strategies for PB Solvers von Le Berre, Daniel, Marquis, Pierre, Wallon, Romain

Volltext

2QBF: Challenges and Solutions von Balabanov, Valeriy, Jiang, Jie-Hong Roland, Scholl, Christoph, Mishchenko, Alan, Brayton, Robert K.

Volltext

Extreme Cases in SAT Problems von Audemard, Gilles, Simon, Laurent

Volltext

Improved Static Symmetry Breaking for SAT von Devriendt, Jo, Bogaerts, Bart, Bruynooghe, Maurice, Denecker, Marc

Volltext

Fifty-five solvers in vancouver : The SAT 2004 competition von LE BERRE, Daniel, SIMON, Laurent

Volltext