Armin Biere
3 papers
· 2017–2024
· 2 conferences
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(7)
🐝
Cross-Pollinator
(9)
🌉
Interdisciplinary Bridge
❓
The Questioner
Conferences
IJCAI (2)
AAAI (1)
Top co-authors
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)