Miroslaw Truszczynski
3 papers
· 2017–2018
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(10)
❓
The Questioner
Conferences
IJCAI (3)
Top co-authors
Keywords
combinatorial optimization
(1)
graph theory
(1)
phase transition
(1)
polynomial time algorithm
(1)
sat solver
(1)
fair division
(1)
maximin share
(1)
quantified boolean formula
(1)
connected subgraph
(1)
axiomatic analysis
(1)
disjunctive logic program
(1)
random satisfiability
(1)
preference order
(1)
graph allocation
(1)
random formula
(1)
set family
(1)
dominance axiom
(1)
independence axiom
(1)
random boolean formula
(1)