Login / Signup
Jakub Sliwinski
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 22
Top Topics
Proof Planning
Axiomatic Characterization
Voting Schemes
Top Venues
CoRR
SSS
AAAI
IJCAI
</>
Publications
</>