Login / Signup
Sylwia Stachowiak
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Version Space
Search Problems
Boolean Satisfiability
Sat Solvers
Top Venues
CORES/IP&C/ACS
WETICE
</>
Publications
</>