Jan Elffers
4 papers
· 2018–2020
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
AAAI (2)
IJCAI (2)
Top co-authors
Keywords
sat solver
(3)
conflict analysis
(2)
pseudo-boolean solving
(2)
conflict-driven clause learning
(2)
cardinality constraint
(1)
proof search
(1)
constraint programming
(1)
cnf formula
(1)
resolution proof system
(1)
proof logging
(1)
pseudo-boolean reasoning
(1)
all-different constraint
(1)
integer coefficient
(1)
combinatorial optimization
(1)
pseudo-boolean solver
(1)
boolean satisfiability
(1)
automated reasoning
(1)
constraint satisfaction
(1)