Search
for Author
All Reviews
Kullmann, Oliver
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
1
of
1
reviews
The science of brute force
Heule M., Kullmann O. Communications of the ACM 60(8): 70-79, 2017. Type: Article
This paper’s main contribution is a nice introduction of the Boolean satisfiability (SAT) problem to the general public. The basic idea is that the brute force approach of SAT to problem solving, called brute reasoning, is re...
...
Dec 6 2017
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy