Export Citations
1 Results for: Book/Issue: SPLC '20: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,764,833 records)|Limit your search to The ACM Full-Text Collection (758,086 records)
Showing 1 - 1of1 Results
Select All
Variational satisfiability solving
SPLC '20: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume AArticle No.: 18, Pages 1–12https://doi.org/10.1145/3382025.3414965Incremental satisfiability (SAT) solving is an extension of classic SAT solving that allows users to efficiently solve a set of related SAT problems by identifying and exploiting shared terms. However, using incremental solvers effectively is hard since ...