Jan Elffers
4 papers · 2018–2020 · 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 ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
Top co-authors
Research topics
Keywords
sat solver
(3)
pseudo-boolean solving
(2)
conflict analysis
(2)
conflict-driven clause learning
(2)
cardinality constraint
(1)
proof search
(1)
constraint programming
(1)
alldifferent constraint
(1)
cnf formula
(1)
resolution proof system
(1)
proof logging
(1)
pseudo-boolean reasoning
(1)
integer coefficient
(1)
combinatorial optimization
(1)
pseudo-boolean solver
(1)
boolean satisfiability
(1)
automated reasoning
(1)
constraint satisfaction
(1)