Variational satisfiability solving: efficiently solving lots of related SAT problems.
| Autor: | Young, Jeffrey M., Bittner, Paul Maximilian, Walkingshaw, Eric, Thüm, Thomas |
|---|---|
| Zdroj: | Empirical Software Engineering; Feb2023, Vol. 28 Issue 1, p1-53, 53p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
Full text from SpringerLink