Theory and Applications of Satisfiability Testing – SAT 2020: 23rd
70,08 €
Sorting Parity Encodings by Reusing Variables. - Community and LBD-based Clause Sharing Policy for Parallel SAT Solving. - Clause size reduction with all-UIP Learning. - Designing New Phase Selection Heuristics.
Jetzt bei Ebay:
![Produktbild - Master the SAT 2020 by Peterson's [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/yyoAAeSw2epoVU8b/s-l140.jpg)
![Produktbild - Testing Vue.Js Applications by Yerburgh, Edd [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/JG0AAeSwkS9oU4mO/s-l140.jpg)
