Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Daniel Le Berre
@inproceedings{DBLP:conf/icaart/BlommeBPR24,
author = {Anthony Blomme and
Daniel Le Berre and
Anne Parrain and
Olivier Roussel},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Compressing {UNSAT} {CDCL} Trees with Caching},
booktitle = {Proceedings of the 16th International Conference on Agents and Artificial
Intelligence, {ICAART} 2024, Volume 3, Rome, Italy, February 24-26,
2024},
pages = {792--799},
publisher = {{SCITEPRESS}},
year = {2024},
url = {https://doi.org/10.5220/0012393000003636},
doi = {10.5220/0012393000003636},
timestamp = {Thu, 04 Apr 2024 15:53:27 +0200},
biburl = {https://dblp.org/rec/conf/icaart/BlommeBPR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/FichteBHS23,
author = {Johannes Klaus Fichte and
Daniel Le Berre and
Markus Hecher and
Stefan Szeider},
title = {The Silent (R)evolution of {SAT}},
journal = {Commun. {ACM}},
volume = {66},
number = {6},
pages = {64--72},
year = {2023},
url = {https://doi.org/10.1145/3560469},
doi = {10.1145/3560469},
timestamp = {Tue, 18 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/FichteBHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/SohMBBT23,
author = {Takehide Soh and
Morgan Magnin and
Daniel Le Berre and
Mutsunori Banbara and
Naoyuki Tamura},
editor = {Hesham Ali and
Ning Deng and
Ana L. N. Fred and
Hugo Gamboa},
title = {SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued
Networks},
booktitle = {Proceedings of the 16th International Joint Conference on Biomedical
Engineering Systems and Technologies, {BIOSTEC} 2023, Volume 3: BIOINFORMATICS,
Lisbon, Portugal, February 16-18, 2023},
pages = {163--174},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011675100003414},
doi = {10.5220/0011675100003414},
timestamp = {Thu, 23 Mar 2023 11:48:17 +0100},
biburl = {https://dblp.org/rec/conf/biostec/SohMBBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/SohMBBT23,
author = {Takehide Soh and
Morgan Magnin and
Daniel Le Berre and
Mutsunori Banbara and
Naoyuki Tamura},
editor = {Jun Pang and
Joachim Niehren},
title = {{SAF:} SAT-Based Attractor Finder in Asynchronous Automata Networks},
booktitle = {Computational Methods in Systems Biology - 21st International Conference,
{CMSB} 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14137},
pages = {175--183},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42697-1\_12},
doi = {10.1007/978-3-031-42697-1\_12},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/SohMBBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/BlommeBPR23,
author = {Anthony Blomme and
Daniel Le Berre and
Anne Parrain and
Olivier Roussel},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Compressing {UNSAT} Search Trees with Caching},
booktitle = {Proceedings of the 15th International Conference on Agents and Artificial
Intelligence, {ICAART} 2023, Volume 3, Lisbon, Portugal, February
22-24, 2023},
pages = {358--365},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011671800003393},
doi = {10.5220/0011671800003393},
timestamp = {Tue, 09 May 2023 16:57:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/BlommeBPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2023pos,
editor = {Matti J{\"{a}}rvisalo and
Daniel Le Berre},
title = {Proceedings of the 14th International Workshop on Pragmatics of {SAT}
co-located with the 26th International Conference on Theory and Applications
of Satisfiability Testing {(SAT} 2023), Alghero, Italy, July 4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3545},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3545},
urn = {urn:nbn:de:0074-3545-4},
timestamp = {Wed, 20 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/2023pos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/TernavaMCB22,
author = {Xhevahire T{\"{e}}rnava and
Johann Mortara and
Philippe Collet and
Daniel Le Berre},
title = {Identification and visualization of variability implementations in
object-oriented variability-rich systems: a symmetry-based approach},
journal = {Autom. Softw. Eng.},
volume = {29},
number = {1},
pages = {25},
year = {2022},
url = {https://doi.org/10.1007/s10515-022-00329-x},
doi = {10.1007/S10515-022-00329-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/TernavaMCB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BerreW21,
author = {Daniel Le Berre and
Romain Wallon},
editor = {Chu{-}Min Li and
Felip Many{\`{a}}},
title = {On Dedicated {CDCL} Strategies for {PB} Solvers},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th
International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12831},
pages = {315--331},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80223-3\_22},
doi = {10.1007/978-3-030-80223-3\_22},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BerreW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-01013,
author = {Daniel Le Berre and
Romain Wallon},
title = {On Dedicated {CDCL} Strategies for {PB} Solvers},
journal = {CoRR},
volume = {abs/2109.01013},
year = {2021},
url = {https://arxiv.org/abs/2109.01013},
eprinttype = {arXiv},
eprint = {2109.01013},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-01013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BerreMMW20,
author = {Daniel Le Berre and
Pierre Marquis and
Stefan Mengel and
Romain Wallon},
editor = {Christian Bessiere},
title = {On Irrelevant Literals in Pseudo-Boolean Constraint Learning},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1148--1154},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/160},
doi = {10.24963/IJCAI.2020/160},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BerreMMW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BerreMW20,
author = {Daniel Le Berre and
Pierre Marquis and
Romain Wallon},
editor = {Luca Pulina and
Martina Seidl},
title = {On Weakening Strategies for {PB} Solvers},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2020 - 23rd
International Conference, Alghero, Italy, July 3-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12178},
pages = {322--331},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51825-7\_23},
doi = {10.1007/978-3-030-51825-7\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BerreMW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-04466,
author = {Daniel Le Berre and
Pierre Marquis and
Romain Wallon},
title = {On Weakening Strategies for {PB} Solvers},
journal = {CoRR},
volume = {abs/2005.04466},
year = {2020},
url = {https://arxiv.org/abs/2005.04466},
eprinttype = {arXiv},
eprint = {2005.04466},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-04466.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-04424,
author = {Daniel Le Berre and
Pierre Marquis and
Stefan Mengel and
Romain Wallon},
title = {On Irrelevant Literals in Pseudo-Boolean Constraint Learning},
journal = {CoRR},
volume = {abs/2012.04424},
year = {2020},
url = {https://arxiv.org/abs/2012.04424},
eprinttype = {arXiv},
eprint = {2012.04424},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-04424.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2018pos,
editor = {Daniel Le Berre and
Matti J{\"{a}}rvisalo},
title = {Proceedings of Pragmatics of {SAT} 2015, Austin, Texas, USA, September
23, 2015 / Pragmatics of {SAT} 2018, Oxford, UK, July 7, 2018},
series = {EPiC Series in Computing},
volume = {59},
publisher = {EasyChair},
year = {2019},
url = {https://easychair.org/publications/volume/POS-18},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2018pos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/BerreR18,
author = {Daniel Le Berre and
Pascal Rapicault},
title = {Boolean-Based Dependency Management for the Eclipse Ecosystem},
journal = {Int. J. Artif. Intell. Tools},
volume = {27},
number = {1},
pages = {1840003:1--1840003:23},
year = {2018},
url = {https://doi.org/10.1142/S0218213018400031},
doi = {10.1142/S0218213018400031},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/BerreR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LagniezBLM18,
author = {Jean{-}Marie Lagniez and
Daniel Le Berre and
Tiago de Lima and
Valentin Montmirail},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {An Assumption-Based Approach for Solving the Minimal S5-Satisfiability
Problem},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
pages = {1--18},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_1},
doi = {10.1007/978-3-319-94205-6\_1},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/LagniezBLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BerreMMW18,
author = {Daniel Le Berre and
Pierre Marquis and
Stefan Mengel and
Romain Wallon},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Pseudo-Boolean Constraints from a Knowledge Representation Perspective},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1891--1897},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/261},
doi = {10.24963/IJCAI.2018/261},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BerreMMW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LagniezBLM18,
author = {Jean{-}Marie Lagniez and
Daniel Le Berre and
Tiago de Lima and
Valentin Montmirail},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {A SAT-Based Approach For {PSPACE} Modal Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {651--652},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/17997},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/LagniezBLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-04211,
author = {Jifeng Xuan and
Matias Martinez and
Favio Demarco and
Maxime Cl{\'{e}}ment and
Sebastian R. Lamelas Marcote and
Thomas Durieux and
Daniel Le Berre and
Martin Monperrus},
title = {Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs},
journal = {CoRR},
volume = {abs/1811.04211},
year = {2018},
url = {http://arxiv.org/abs/1811.04211},
eprinttype = {arXiv},
eprint = {1811.04211},
timestamp = {Fri, 23 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-04211.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/XuanMDCMDBM17,
author = {Jifeng Xuan and
Matias Martinez and
Favio Demarco and
Maxime Clement and
Sebastian R. Lamelas Marcote and
Thomas Durieux and
Daniel Le Berre and
Martin Monperrus},
title = {Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {43},
number = {1},
pages = {34--55},
year = {2017},
url = {https://doi.org/10.1109/TSE.2016.2560811},
doi = {10.1109/TSE.2016.2560811},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/XuanMDCMDBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CaridroitLBLM17,
author = {Thomas Caridroit and
Jean{-}Marie Lagniez and
Daniel Le Berre and
Tiago de Lima and
Valentin Montmirail},
editor = {Satinder Singh and
Shaul Markovitch},
title = {A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability
Problem},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {3864--3870},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.11128},
doi = {10.1609/AAAI.V31I1.11128},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CaridroitLBLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SohBTB17,
author = {Takehide Soh and
Mutsunori Banbara and
Naoyuki Tamura and
Daniel Le Berre},
editor = {J. Christopher Beck},
title = {Solving Multiobjective Discrete Optimization Problems with Propositional
Minimal Model Generation},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {596--614},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_38},
doi = {10.1007/978-3-319-66158-2\_38},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/SohBTB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LagniezBLM17,
author = {Jean{-}Marie Lagniez and
Daniel Le Berre and
Tiago de Lima and
Valentin Montmirail},
editor = {Carles Sierra},
title = {A Recursive Shortcut for {CEGAR:} Application To The Modal Logic {K}
Satisfiability Problem},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {674--680},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/94},
doi = {10.24963/IJCAI.2017/94},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LagniezBLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LagniezBLM16,
author = {Jean{-}Marie Lagniez and
Daniel Le Berre and
Tiago de Lima and
Valentin Montmirail},
editor = {Pascal Fontaine and
Stephan Schulz and
Josef Urban},
title = {On Checking Kripke Models for Modal Logic {K}},
booktitle = {Proceedings of the 5th Workshop on Practical Aspects of Automated
Reasoning co-located with International Joint Conference on Automated
Reasoning {(IJCAR} 2016), Coimbra, Portugal, July 2nd, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1635},
pages = {69--81},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1635/paper-07.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/LagniezBLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KoricheBLM16,
author = {Fr{\'{e}}d{\'{e}}ric Koriche and
Daniel Le Berre and
Emmanuel Lonca and
Pierre Marquis},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Fixed-Parameter Tractable Optimization Under {DNNF} Constraints},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {1194--1202},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1194},
doi = {10.3233/978-1-61499-672-9-1194},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/KoricheBLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2016,
editor = {Nadia Creignou and
Daniel Le Berre},
title = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th
International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9710},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40970-2},
doi = {10.1007/978-3-319-40970-2},
isbn = {978-3-319-40969-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/SeguraDSBLC15,
author = {Sergio Segura and
Amador Dur{\'{a}}n and
Ana Bel{\'{e}}n S{\'{a}}nchez and
Daniel Le Berre and
Emmanuel Lonca and
Antonio Ruiz Cort{\'{e}}s},
title = {Automated metamorphic testing of variability analysis tools},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {2},
pages = {138--163},
year = {2015},
url = {https://doi.org/10.1002/stvr.1566},
doi = {10.1002/STVR.1566},
timestamp = {Tue, 18 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/SeguraDSBLC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/BerreR14,
author = {Daniel Le Berre and
St{\'{e}}phanie Roussel},
title = {Sat4j 2.3.2: on the fly solver configuration System Description},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {8},
number = {3/4},
pages = {197--202},
year = {2014},
url = {https://doi.org/10.3233/sat190098},
doi = {10.3233/SAT190098},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/BerreR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/BerreL14,
author = {Daniel Le Berre and
Emmanuel Lonca},
title = {R{\'{e}}utiliser ou adapter les prouveurs {SAT} pour l'optimisation
bool{\'{e}}enne},
journal = {Rev. d'Intelligence Artif.},
volume = {28},
number = {5},
pages = {615--636},
year = {2014},
url = {https://doi.org/10.3166/ria.28.615-636},
doi = {10.3166/RIA.28.615-636},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ria/BerreL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DemarcoXBM14,
author = {Favio Demarco and
Jifeng Xuan and
Daniel Le Berre and
Martin Monperrus},
editor = {Vijay Ganesh and
Nicky Williams},
title = {Automatic repair of buggy if conditions and missing preconditions
with {SMT}},
booktitle = {Proceedings of the 6th International Workshop on Constraints in Software
Testing, Verification, and Analysis, {CSTVA} 2014, Hyderabad, India,
May 31, 2014},
pages = {30--39},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593735.2593740},
doi = {10.1145/2593735.2593740},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/DemarcoXBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/SohBRBT14,
author = {Takehide Soh and
Daniel Le Berre and
St{\'{e}}phanie Roussel and
Mutsunori Banbara and
Naoyuki Tamura},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {Incremental SAT-Based Method with Native Boolean Cardinality Handling
for the Hamiltonian Cycle Problem},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {684--693},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_52},
doi = {10.1007/978-3-319-11558-0\_52},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/SohBRBT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BiereBLM14,
author = {Armin Biere and
Daniel Le Berre and
Emmanuel Lonca and
Norbert Manthey},
editor = {Carsten Sinz and
Uwe Egly},
title = {Detecting Cardinality Constraints in {CNF}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th
International Conference, Held as Part of the Vienna Summer of Logic,
{VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8561},
pages = {285--301},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09284-3\_22},
doi = {10.1007/978-3-319-09284-3\_22},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BiereBLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/QuintonPBDB14,
author = {Cl{\'{e}}ment Quinton and
Andreas Pleuss and
Daniel Le Berre and
Laurence Duchien and
Goetz Botterweck},
editor = {Stefania Gnesi and
Alessandro Fantechi and
Patrick Heymans and
Julia Rubin and
Krzysztof Czarnecki and
Deepak Dhungana},
title = {Consistency checking for the evolution of cardinality-based feature
models},
booktitle = {18th International Software Product Line Conference, {SPLC} '14, Florence,
Italy, September 15-19, 2014},
pages = {122--131},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2648511.2648524},
doi = {10.1145/2648511.2648524},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/splc/QuintonPBDB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2014pos,
editor = {Daniel Le Berre},
title = {{POS-14.} Fifth Pragmatics of {SAT} workshop, a workshop of the {SAT}
2014 conference, part of FLoC 2014 during the Vienna Summer of Logic,
July 13, 2014, Vienna, Austria},
series = {EPiC Series in Computing},
volume = {27},
publisher = {EasyChair},
year = {2014},
url = {https://easychair.org/publications/volume/POS-14},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2014pos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2013pos,
editor = {Daniel Le Berre},
title = {{POS-13.} Fourth Pragmatics of {SAT} workshop, a workshop of the {SAT}
2013 conference, July 7, 2013, Helsinki, Finland},
series = {EPiC Series in Computing},
volume = {29},
publisher = {EasyChair},
year = {2014},
url = {https://easychair.org/publications/volume/POS-13},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2013pos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DemarcoXBM14,
author = {Favio Demarco and
Jifeng Xuan and
Daniel Le Berre and
Martin Monperrus},
title = {Automatic Repair of Buggy If Conditions and Missing Preconditions
with {SMT}},
journal = {CoRR},
volume = {abs/1404.3186},
year = {2014},
url = {http://arxiv.org/abs/1404.3186},
eprinttype = {arXiv},
eprint = {1404.3186},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DemarcoXBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Berre14,
author = {Daniel Le Berre},
title = {Some thoughts about benchmarks for {NMR}},
journal = {CoRR},
volume = {abs/1405.1183},
year = {2014},
url = {http://arxiv.org/abs/1405.1183},
eprinttype = {arXiv},
eprint = {1405.1183},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Berre14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BerreLM14,
author = {Daniel Le Berre and
Emmanuel Lonca and
Pierre Marquis},
title = {On the Complexity of Optimization Problems based on Compiled {NNF}
Representations},
journal = {CoRR},
volume = {abs/1410.6690},
year = {2014},
url = {http://arxiv.org/abs/1410.6690},
eprinttype = {arXiv},
eprint = {1410.6690},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BerreLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BerreMR13,
author = {Daniel Le Berre and
Pierre Marquis and
St{\'{e}}phanie Roussel},
editor = {Daniel Borrajo and
Subbarao Kambhampati and
Angelo Oddi and
Simone Fratini},
title = {Planning Personalised Museum Visits},
booktitle = {Proceedings of the Twenty-Third International Conference on Automated
Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/6025},
timestamp = {Wed, 28 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/BerreMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DeharbeFBM13,
author = {David D{\'{e}}harbe and
Pascal Fontaine and
Daniel Le Berre and
Bertrand Mazure},
title = {Computing prime implicants},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {46--52},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679390/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/DeharbeFBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/JarvisaloBRS12,
author = {Matti J{\"{a}}rvisalo and
Daniel Le Berre and
Olivier Roussel and
Laurent Simon},
title = {The International {SAT} Solver Competitions},
journal = {{AI} Mag.},
volume = {33},
number = {1},
pages = {89--92},
year = {2012},
url = {https://doi.org/10.1609/aimag.v33i1.2395},
doi = {10.1609/AIMAG.V33I1.2395},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/JarvisaloBRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2010pos,
editor = {Daniel Le Berre},
title = {{POS-10.} Pragmatics of SAT, Edinburgh, UK, July 10, 2010},
series = {EPiC Series in Computing},
volume = {8},
publisher = {EasyChair},
year = {2012},
url = {https://easychair.org/publications/volume/POS-10},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2010pos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Berre10,
author = {Daniel Le Berre},
title = {Sat4j, un moteur libre de raisonnement en logique propositionnelle.
(Sat4j, an open reasoning platform for propositional reasoning)},
year = {2010},
url = {https://tel.archives-ouvertes.fr/tel-02884327},
timestamp = {Wed, 08 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Berre10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/BerreP10,
author = {Daniel Le Berre and
Anne Parrain},
title = {The Sat4j library, release 2.2},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {7},
number = {2-3},
pages = {59--6},
year = {2010},
url = {https://doi.org/10.3233/sat190075},
doi = {10.3233/SAT190075},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/BerreP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1007-1021,
author = {Josep Argelich and
Daniel Le Berre and
In{\^{e}}s Lynce and
Jo{\~{a}}o Marques{-}Silva and
Pascal Rapicault},
editor = {In{\^{e}}s Lynce and
Ralf Treinen},
title = {Solving Linux Upgradeability Problems Using Boolean Optimization},
booktitle = {Proceedings First International Workshop on Logics for Component Configuration,
LoCoCo 2010, Edinburgh, UK, 10th July 2010},
series = {{EPTCS}},
volume = {29},
pages = {11--22},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.29.2},
doi = {10.4204/EPTCS.29.2},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-1021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aldt/BerreMO09,
author = {Daniel Le Berre and
Pierre Marquis and
Meltem {\"{O}}zt{\"{u}}rk},
editor = {Francesca Rossi and
Alexis Tsouki{\`{a}}s},
title = {Aggregating Interval Orders by Propositional Optimization},
booktitle = {Algorithmic Decision Theory, First International Conference, {ADT}
2009, Venice, Italy, October 20-23, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5783},
pages = {249--260},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04428-1\_22},
doi = {10.1007/978-3-642-04428-1\_22},
timestamp = {Tue, 23 Jan 2024 13:25:45 +0100},
biburl = {https://dblp.org/rec/conf/aldt/BerreMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/BerreP08,
author = {Daniel Le Berre and
Anne Parrain},
editor = {Steffen Thiel and
Klaus Pohl},
title = {On {SAT} Technologies for Dependency Management and Beyond},
booktitle = {Software Product Lines, 12th International Conference, {SPLC} 2008,
Limerick, Ireland, September 8-12, 2008, Proceedings. Second Volume
(Workshops)},
pages = {197--200},
publisher = {Lero Int. Science Centre, University of Limerick, Ireland},
year = {2008},
timestamp = {Tue, 10 Mar 2009 09:37:30 +0100},
biburl = {https://dblp.org/rec/conf/splc/BerreP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BenferhatBS07,
author = {Salem Benferhat and
Daniel Le Berre and
Karima Sedki},
editor = {David Wilson and
Geoff Sutcliffe},
title = {Handling Qualitative Preferences Using Normal Form Functions},
booktitle = {Proceedings of the Twentieth International Florida Artificial Intelligence
Research Society Conference, May 7-9, 2007, Key West, Florida, {USA}},
pages = {38--43},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/FLAIRS/2007/flairs07-009.php},
timestamp = {Wed, 26 Oct 2022 08:35:25 +0200},
biburl = {https://dblp.org/rec/conf/flairs/BenferhatBS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/Coste-MarquisBLM06,
author = {Sylvie Coste{-}Marquis and
Daniel Le Berre and
Florian Letombe and
Pierre Marquis},
title = {Complexity Results for Quantified Boolean Formulae Based on Complete
Propositional Languages},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {1},
number = {1},
pages = {61--88},
year = {2006},
url = {https://doi.org/10.3233/sat190003},
doi = {10.3233/SAT190003},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/Coste-MarquisBLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/BerreS06,
author = {Daniel Le Berre and
Laurent Simon},
title = {Preface to the Special Volume on the {SAT} 2005 Competitions and Evaluations},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {2},
number = {1-4},
year = {2006},
url = {https://doi.org/10.3233/sat190013},
doi = {10.3233/SAT190013},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/BerreS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BenferhatBS06,
author = {Salem Benferhat and
Daniel Le Berre and
Karima Sedki},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {An Alternative Inference for Qualitative Choice Logic},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {741--742},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BenferhatBS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Coste-MarquisFLBM06,
author = {Sylvie Coste{-}Marquis and
H{\'{e}}l{\`{e}}ne Fargier and
J{\'{e}}r{\^{o}}me Lang and
Daniel Le Berre and
Pierre Marquis},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Representing Policies for Quantified Boolean Formulae},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {286--297},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-031.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Coste-MarquisFLBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/SimonBH05,
author = {Laurent Simon and
Daniel Le Berre and
Edward A. Hirsch},
title = {The {SAT2002} competition},
journal = {Ann. Math. Artif. Intell.},
volume = {43},
number = {1},
pages = {307--342},
year = {2005},
url = {https://doi.org/10.1007/s10472-005-0424-6},
doi = {10.1007/S10472-005-0424-6},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/SimonBH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/PurdomBS05,
author = {Paul W. Purdom and
Daniel Le Berre and
Laurent Simon},
title = {A parsimony tree for the {SAT2002} competition},
journal = {Ann. Math. Artif. Intell.},
volume = {43},
number = {1},
pages = {343--365},
year = {2005},
url = {https://doi.org/10.1007/s10472-005-0431-7},
doi = {10.1007/S10472-005-0431-7},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/PurdomBS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Coste-MarquisBLM05,
author = {Sylvie Coste{-}Marquis and
Daniel Le Berre and
Florian Letombe and
Pierre Marquis},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {Propositional Fragments for Knowledge Compilation and Quantified Boolean
Formulae},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {288--293},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-046.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Coste-MarquisBLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Coste-MarquisBL05,
author = {Sylvie Coste{-}Marquis and
Daniel Le Berre and
Florian Letombe},
editor = {Fahiem Bacchus and
Toby Walsh},
title = {A Branching Heuristics for Quantified Renamable Horn Formulas},
booktitle = {Theory and Applications of Satisfiability Testing, 8th International
Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3569},
pages = {393--399},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499107\_30},
doi = {10.1007/11499107\_30},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/Coste-MarquisBL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BenferhatKBW04,
author = {Salem Benferhat and
Souhila Kaci and
Daniel Le Berre and
Mary{-}Anne Williams},
title = {Weakening conflicting information for iterated revision and knowledge
integration},
journal = {Artif. Intell.},
volume = {153},
number = {1-2},
pages = {339--371},
year = {2004},
url = {https://doi.org/10.1016/j.artint.2003.08.003},
doi = {10.1016/J.ARTINT.2003.08.003},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BenferhatKBW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BrewkaBB04,
author = {Gerhard Brewka and
Salem Benferhat and
Daniel Le Berre},
title = {Qualitative choice logic},
journal = {Artif. Intell.},
volume = {157},
number = {1-2},
pages = {203--237},
year = {2004},
url = {https://doi.org/10.1016/j.artint.2004.04.006},
doi = {10.1016/J.ARTINT.2004.04.006},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BrewkaBB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BerreS04,
author = {Daniel Le Berre and
Laurent Simon},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Fifty-Five Solvers in Vancouver: The {SAT} 2004 Competition},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {321--344},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_25},
doi = {10.1007/11527695\_25},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/BerreS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BerreNST04,
author = {Daniel Le Berre and
Massimo Narizzano and
Laurent Simon and
Armando Tacchella},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {The Second {QBF} Solvers Comparative Evaluation},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {376--392},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_28},
doi = {10.1007/11527695\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BerreNST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BerreS03,
author = {Daniel Le Berre and
Laurent Simon},
editor = {Enrico Giunchiglia and
Armando Tacchella},
title = {The Essentials of the {SAT} 2003 Competition},
booktitle = {Theory and Applications of Satisfiability Testing, 6th International
Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003
Selected Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2919},
pages = {452--467},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24605-3\_34},
doi = {10.1007/978-3-540-24605-3\_34},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/BerreS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BerreST03,
author = {Daniel Le Berre and
Laurent Simon and
Armando Tacchella},
editor = {Enrico Giunchiglia and
Armando Tacchella},
title = {Challenges in the {QBF} Arena: the SAT'03 Evaluation of {QBF} Solvers},
booktitle = {Theory and Applications of Satisfiability Testing, 6th International
Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003
Selected Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2919},
pages = {468--485},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24605-3\_35},
doi = {10.1007/978-3-540-24605-3\_35},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BerreST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BrewkaBB02,
author = {Gerhard Brewka and
Salem Benferhat and
Daniel Le Berre},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Qualitative Choice Logic},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {158--169},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
biburl = {https://dblp.org/rec/conf/kr/BrewkaBB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/Berre01,
author = {Daniel Le Berre},
title = {Exploiting the real power of unit propagation lookahead},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {59--80},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00314-2},
doi = {10.1016/S1571-0653(04)00314-2},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/Berre01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BenferhatKBW01,
author = {Salem Benferhat and
Souhila Kaci and
Daniel Le Berre and
Mary{-}Anne Williams},
editor = {Bernhard Nebel},
title = {Weakening Conflicting Information for Iterated Revision and Knowledge
Integration},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {109--118},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BenferhatKBW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Berre00,
author = {Daniel Le Berre},
title = {Autour de {SAT} : le calcul d'impliquants P-restreints, algorithmes
et applications. (Beyond {SAT:} P-restricted implicant, algorithms
and applications)},
school = {Paul Sabatier University, Toulouse, France},
year = {2000},
url = {https://tel.archives-ouvertes.fr/tel-02881946},
timestamp = {Mon, 28 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Berre00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DuboisBPS99,
author = {Didier Dubois and
Daniel Le Berre and
Henri Prade and
R{\'{e}}gis Sabbadin},
title = {Using Possibilistic Logic for Modeling Qualitative Decision: ATMS-based
Algorithms},
journal = {Fundam. Informaticae},
volume = {37},
number = {1-2},
pages = {1--30},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-371201},
doi = {10.3233/FI-1999-371201},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DuboisBPS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DuboisBPS98,
author = {Didier Dubois and
Daniel Le Berre and
Henri Prade and
R{\'{e}}gis Sabbadin},
editor = {Jack Mostow and
Chuck Rich},
title = {Logical Representation and Computation of Optimal Decisions in a Qualitative
Setting},
booktitle = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
and Tenth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
pages = {588--593},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1998},
url = {http://www.aaai.org/Library/AAAI/1998/aaai98-083.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DuboisBPS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CastellCCB96,
author = {Thierry Castell and
Claudette Cayrol and
Michel Cayrol and
Daniel Le Berre},
editor = {Wolfgang Wahlster},
title = {Using the Davis and Putnam Procedure for an Efficient Computation
of Preferred Models},
booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
August 11-16, 1996, Proceedings},
pages = {350--354},
publisher = {John Wiley and Sons, Chichester},
year = {1996},
timestamp = {Thu, 03 Jan 2002 11:56:53 +0100},
biburl = {https://dblp.org/rec/conf/ecai/CastellCCB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/AmgoudCB96,
author = {Leila Amgoud and
Claudette Cayrol and
Daniel Le Berre},
title = {Comparing Arguments Using Preference Ordering for Argument-Based Reasoning},
booktitle = {Eigth International Conference on Tools with Artificial Intelligence,
{ICTAI} '96, Toulouse, France, November 16-19, 1996},
pages = {400--403},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/TAI.1996.560731},
doi = {10.1109/TAI.1996.560731},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/AmgoudCB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
