riccardodebenedictis
My research topics cover the development of automated solvers aimed at real-world applications while keeping a strong consideration for the human components.
Institute of Cognitive Sciences and Technologies (ISTC) - National Research Council of Italy (CNR)Rome
Pinned Repositories
oRatio
oRatio is an Integrated Logic and Constraint based solver
oRatio
oRatio is an Integrated Logic and Constraint based solver
GeoTag
icaps2023.github.io
Web for the ICAPS 2023 conference in Prague
riccardodebenedictis
riccardodebenedictis.github.io
SaMBuCA
SyMBolic Connectionist Architecture
SeMiTONE
A Satisfiability Modulo TheOries NEtwork
SMILE-App
SpONSOR
riccardodebenedictis's Repositories
riccardodebenedictis/GeoTag
riccardodebenedictis/icaps2023.github.io
Web for the ICAPS 2023 conference in Prague
riccardodebenedictis/riccardodebenedictis
riccardodebenedictis/riccardodebenedictis.github.io
riccardodebenedictis/SaMBuCA
SyMBolic Connectionist Architecture
riccardodebenedictis/SeMiTONE
A Satisfiability Modulo TheOries NEtwork
riccardodebenedictis/SMILE-App
riccardodebenedictis/SpONSOR