Old Web
English
Sign In
Acemap
>
Paper
>
A Verified SAT Solver Framework including Optimization and Partial Valuations.
A Verified SAT Solver Framework including Optimization and Partial Valuations.
2020
Mathias Fleury
Christoph Weidenbach
Keywords:
Computer science
Mathematical optimization
Boolean satisfiability problem
Valuation (finance)
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]