Skip to content
Book Glossary

Theory and Applications of Satisfiability Testing

by Holger H. Hoos, David G. Mitchell

Decision makingComputer algorithmsSat (educational test)
Writing a summary for young readers…

For young readers

Book data: Open Library