Jordi Levy
5 papers · 2015–2024 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Gold 🐣 Hot Topic Early Bird ❓ The Questioner
🌈
Renaissance Researcher
(5)
Top co-authors
Research topics
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)