Proofs and Certificates for Max-SAT
Py, Matthieu, Cherif, Mohamed Sami, Habet, Djamal
Published in The Journal of artificial intelligence research (01.01.2022)
Published in The Journal of artificial intelligence research (01.01.2022)
Get full text
Journal Article
Towards Bridging the Gap Between SAT and Max-SAT Refutations
Py, Matthieu, Cherif, Mohamed Sami, Habet, Djamal
Published in 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI) (01.11.2020)
Published in 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI) (01.11.2020)
Get full text
Conference Proceeding
Inferring Clauses and Formulas in Max-SAT
Py, Matthieu, Cherif, Mohamed Sami, Habet, Djamal
Published in 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI) (01.11.2021)
Published in 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI) (01.11.2021)
Get full text
Conference Proceeding
Computing Max-SAT Refutations using SAT Oracles
Py, Matthieu, Cherif, Mohamed Sami, Habet, Djamal
Published in 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI) (01.11.2021)
Published in 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI) (01.11.2021)
Get full text
Conference Proceeding
Socially Pertinent Robots in Gerontological Healthcare
Alameda-Pineda, Xavier, Addlesee, Angus, García, Daniel Hernández, Reinke, Chris, Arias, Soraya, Arrigoni, Federica, Auternaud, Alex, Blavette, Lauriane, Beyan, Cigdem, Camara, Luis Gomez, Cohen, Ohad, Conti, Alessandro, Dacunha, Sébastien, Dondrup, Christian, Ellinson, Yoav, Ferro, Francesco, Gannot, Sharon, Gras, Florian, Gunson, Nancie, Horaud, Radu, D'Incà, Moreno, Kimouche, Imad, Lemaignan, Séverin, Lemon, Oliver, Liotard, Cyril, Marchionni, Luca, Moradi, Mordehay, Pajdla, Tomas, Pino, Maribel, Polic, Michal, Py, Matthieu, Rado, Ariel, Ren, Bin, Ricci, Elisa, Rigaud, Anne-Sophie, Rota, Paolo, Romeo, Marta, Sebe, Nicu, Sieińska, Weronika, Tandeitnik, Pinchas, Tonini, Francesco, Turro, Nicolas, Wintz, Timothée, Yu, Yanchao
Year of Publication 11.04.2024
Year of Publication 11.04.2024
Get full text
Journal Article
Socially Pertinent Robots in Gerontological Healthcare
Alameda-Pineda, Xavier, Addlesee, Angus, Daniel Hernández García, Reinke, Chris, Arias, Soraya, Arrigoni, Federica, Auternaud, Alex, Blavette, Lauriane, Beyan, Cigdem, Luis Gomez Camara, Cohen, Ohad, Conti, Alessandro, Dacunha, Sébastien, Dondrup, Christian, Ellinson, Yoav, Ferro, Francesco, Gannot, Sharon, Gras, Florian, Gunson, Nancie, Horaud, Radu, Moreno D'Incà, Kimouche, Imad, Lemaignan, Séverin, Lemon, Oliver, Liotard, Cyril, Marchionni, Luca, Moradi, Mordehay, Pajdla, Tomas, Pino, Maribel, Polic, Michal, Py, Matthieu, Rado, Ariel, Ren, Bin, Ricci, Elisa, Rigaud, Anne-Sophie, Rota, Paolo, Romeo, Marta, Sebe, Nicu, Sieińska, Weronika, Tandeitnik, Pinchas, Tonini, Francesco, Turro, Nicolas, Wintz, Timothée, Yu, Yanchao
Published in arXiv.org (11.04.2024)
Get full text
Published in arXiv.org (11.04.2024)
Paper
NDR Controlled Multilevel Programming in PoRRAM with All-Organic Active Layer and Inert Electrodes
Charbonneau, Micael, Buckley, Julien, Tiron, Raluca, Py, Matthieu, Barnes, Jean Paul, Rochat, Nevine, Licitra, Christophe, Ghibaudo, Gerard, De Salvo, Barbara
Published in Meeting abstracts (Electrochemical Society) (01.03.2011)
Published in Meeting abstracts (Electrochemical Society) (01.03.2011)
Get full text
Journal Article