Login / Signup
Laurent Simon
ORCID
Publication Activity (10 Years)
Years Active: 1996-2023
Publications (10 Years): 31
Top Topics
Community Structure
Supply Chain
Propositional Satisfiability
Sat Solvers
Top Venues
SAT
CoRR
ICTAI
CP
</>
Publications
</>