SAT Competition 2016: Recent Developments
Boolean satisfiability problem
Solver
Satisfiability
Problem solver
DOI:
10.1609/aaai.v31i1.10641
Publication Date:
2022-06-24T18:49:46Z
AUTHORS (3)
ABSTRACT
We give an overview of SAT Competition 2016, the 2016 edition thefamous competition for Boolean satisfiability (SAT) solvers with over 20 years history. A key aim is to point out ``what's hot'' in competitions i.e., new developments thecompetition series, including tracks and solver techniquesimplemented some award-winning solvers.
SUPPLEMENTAL MATERIAL
Coming soon ....
REFERENCES (0)
CITATIONS (34)
EXTERNAL LINKS
PlumX Metrics
RECOMMENDATIONS
FAIR ASSESSMENT
Coming soon ....
JUPYTER LAB
Coming soon ....