Jordi Levy
5 papers
· 2015–2024
· 2 conferences
· across top CS/AI conferences
Achievements
๐
Cross-Pollinator
(14)
๐
Conference Polyglot
(2)
๐
Academic Marathon
(9)
๐
Renaissance Researcher
(6)
๐
Interdisciplinary Bridge
๐งญ
Keyword Pioneer
๐ฃ
Hot Topic Early Bird
โ
The Questioner
Conferences
IJCAI (4)
ACL (1)
Top co-authors
Keywords
sat solver
(2)
constraint satisfaction
(1)
propositional logic
(1)
quantified boolean formula
(1)
maxsat solver
(1)
proof system
(1)
text comprehensibility
(1)
logic-to-text generation
(1)
formula minimization
(1)
circular resolution
(1)
random instance
(1)
cdcl solver
(1)
algorithm reduction
(1)
natural language generation
(1)
quantified boolean formulae
(1)