Jordi Levy

IIIA - CSIC, Campus de la U.A.B., 08193 Bellaterra, Spain.

Phone: + (34) 935 809 570

Fax: + (34) 935 809 661

Email: levy -at- iiia -dot- csic -dot- es

Orcid Id: 0000-0001-5883-5746

ResearcherID: H-7284-2015

Scopus Author ID: 8850473900

Google Scholar

dblp

Research Interests

SAT and MaxSAT solvers.
Modelization of real-world SAT problems.
Automated deduction.
Higher-Order logics.
Unification algorithms.
Type theory.

Publications

Teaching (in Spanish, Catalan or English)

Problem Solving (Degree in AI, UAB).
Compiladores (CL-I y CL-II, UPC).
Descripción de Lenguages de Programación (DLP, UPC).

Research Events I'm Involved

IJCAI'21 (Senior PC member) Montreal, Canada.
AAAI'21 (PC member) Online.
SAT'21 (PC member) Barcelona, Spain.
UNIF'21 (PC member).
IJCAI-PRICAI'20 (Senior PC member) Online.
AAAI'20 (PC member) Online.
UNIF'20 (PC member) collocated with IJCAR'20 Online.
IJCAI'19 (Senior PC member) Macao,China.
AAAI'19 (PC member) Honolulu, Hawaii, USA.
CCIA'19 (PC member) Colonia Sant Jordi, Mallorca, Spain.
UNIF'19 (PC member) collocated with FSCD'19 in Dortmund, Germany.
IJCAI-ECAI-18 (PC member) Stockholm, Sweden.
CCIA'18 (PC member) Roses, Spain.
UNIF'18 (PC member) collocated with FLOC'18 in Oxford, UK.
AAAI'18 (PC member) New Orleans, USA.
IJCAI'17 (Senior PC member) Melbourne, Australia.
UNIF'17 (PC member) Oxford, UK.
ECAI'16 (PC member) The Hague, Holland.
IJCAI'16 (PC member) New York, USA.
CAEPIA'16 (PC member) Salamanca, Spain.
UNIF'16 (PC member) Coimbra, Portugal.
IJCAR'16 (PC member) Coimbra, Portugal.
CAEPIA'15 (PC member) Albacete, Spain.
HPGM'15 (PC member) collocated with KDD'15 in Sydney, Australia.
RTA'15 (PC member) and UNIF'15 (PC member) collocated with RDP'15 in Warsaw, Poland.
IJCAI'15 (PC member) Buenos Aires, Argentina.
CPAIOR'15 (Local Organizing Committee) Barcelona, Spain.
UNIF'13 (PC member) Eindhoven, The Netherlands.
RTA'12 (PC member) Nagoya, Japan.
UNIF'12 (PC member) collocated with IJCAR'12 in Manchester, UK.
UNIF'10 (PC member) collocated with FLOC'10 in Edinburgh, UK.
UNIF'06 (PC chair) collocated with FLOC'06 in Seatle, USA.
PROLE'05 (PC member) Granada, Spain.
UNIF'03 (PC chair) collocated with RDP'03 in Valencia, Spain.

PhD Students

Jesús Giráldez-Cru. Defended in 2016.
Mateu Villaret. Defended in 2004.
Marco Schorlemmer, jointly with Jaume Agustí. Defended in 1999.

Software

Analyzer for the scale-free structure of SAT instances (see description at CP'09)
Generator of scale-free random SAT instances (see description at IJCAI'09)
Generator of modular random SAT instances (see description at IJCAI'15)
Traces learnt clauses, decide variables and restarts in MiniSAT2.2.0 (see description at IJCAI'15)
A random SAT instances generator with locality (see description at IJCAI'17)