Login / Signup
Lennart Sinjorgo
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 2
Top Topics
Finding Optimal Solutions
Random Sat Instances
Boolean Formula
Related Problems
Top Venues
SIAM J. Optim.
INFORMS J. Comput.
</>
Publications
</>
Lennart Sinjorgo
,
Renata Sotirov
On Solving MAX-SAT Using Sum of Squares.
INFORMS J. Comput.
36 (2) (2024)
Lennart Sinjorgo
,
Renata Sotirov
On the Generalized $\vartheta$-Number and Related Problems for Highly Symmetric Graphs.
SIAM J. Optim.
32 (2) (2022)