Login / Signup
Mette Skjøtt
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Maximum Satisfiability
Sat Problem
Np Complete Problems
Random Sat
Top Venues
CoRR
</>
Publications
</>
Andreas Basse-O'Connor
,
Tobias Lindhardt Overgaard
,
Mette Skjøtt
Some Results on Random Mixed SAT Problems.
CoRR
(2023)