Login / Signup
Kostas I. Psaromiligkos
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 5
Top Topics
Np Complete
Disjoint Paths
Theorem Prover
Proof Planning
Top Venues
Ann. Math. Artif. Intell.
CoRR
GASCom
ANALCO
</>
Publications
</>