Concepedia
Statistics
Publications
1
Citations
174
H-Index
Active since
1987
B. L. Kintz is an author specializing in satisfiability modulo theories, algorithms, and boolean satisfiability problem.
Publications per year
1987–1987
Computational Handbook of Satistics
James L. Bruning, B. L. Kintz · 1987 · 174 citations
Computing, Computer Science, Algorithms +6
1–1 of 1