- Incremental encoding of pseudo-boolean goal functions based on comparator networks
Opis
- Tytuł: Incremental encoding of pseudo-boolean goal functions based on comparator networks
- Tytuł publikacji grupowej: LNCS ; 12178
- Tytuł pracy zbiorowej: Theory and Applications of Satisfiability Testing - SAT 2020 : 23rd International Conference, Alghero, Italy, July 3-10, 2020 : proceedings
- Twórca: Karpiński, Michał ; Piotrów, Marek
- Strony: S. 519-535
- Wydawca: Springer
- Miejsce wydania: Cham
- Data wydania: 2020
- Typ: Tekst
- Identyfikator: ISBN 9783030518240 ; https://doi.org/10.1007/978-3-030-51825-7_36
- Język publikacji: eng
- Wersja Cyfrowa: https://doi.org/10.1007/978-3-030-51825-7_36
- Szczegółowy typ obiektu: rozdz
- Typ obiektu: Rozdział