scientific article; zbMATH DE number 5139160

MaRDI QIDQ3429153zbMATH OpenFDO

Authors

Publication date 30 March 2007

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(4)

• Visualizing SAT instances and runs of the DPLL algorithm
• SATLIB: An online resource for research on SAT
• SAT race 2015
• Attacking Bivium Using SAT Solvers

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3429153)