Login / Signup
Jesús Giráldez-Cru
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 31
Top Topics
Sat Problem
Propositional Satisfiability
Sat Instances
Fuzzy Linguistic
Top Venues
SAT
CCIA
IJCAI
Artif. Intell.
</>
Publications
</>