Jordi Levy
5 papers · 2015–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🐝 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)