Armin Biere
3 papers · 2017–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 ↓
๐
Conference Polyglot ยท Bronze
๐
Academic Marathon ยท Sprint
๐
Interdisciplinary Bridge ยท Gold
โ
The Questioner
Top co-authors
Research topics
Keywords
propositional logic
(2)
variable elimination
(1)
integer programming
(1)
linear constraint
(1)
conflict-driven clause learning
(1)
sat solving
(1)
clause learning
(1)
polytope counting
(1)
decomposition algorithm
(1)
propositional model enumeration
(1)
chronological backtracking
(1)
blocking clause
(1)
unit propagation
(1)
clause elimination
(1)
local redundancy
(1)
integer counting
(1)
implicant shrinking
(1)
disjoint allsat
(1)
constraint solving
(1)
propositional model
(1)