• The Silent (R)evolution of SAT...

Treffer: The Silent (R)evolution of SAT.

Title:
The Silent (R)evolution of SAT.
Authors:
FICHTE, JOHANNES K.1, LE BERRE, DANIEL2, HECHER, MARKUS3 hecher@mit.edu, SZEIDER, STEFAN4
Source:
Communications of the ACM. Jun2023, Vol. 66 Issue 6, p64-72. 9p. 4 Diagrams, 1 Chart.
Database:
Business Source Ultimate