Theorie und Anwendungen der Zufriedenheitsprüfung - SAT 2020: 23.
Ø 0.0
0 Bewertungen
55,10 €
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:
-
EAN:9783030518240
-
UPC:9783030518240
-
ISBN:9783030518240
-
Book Title:Theory and Applications of Satisfiability Testing
-
Item Length:23.4 cm
-
Expressversand:International Priority Shipping 12,35 EUR - Lieferung zwischen 29. July 2025 und 31. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Großbritannien, Österreich, Belgien, Bulgarien, Republik Kroatien, Zypern, Tschechische Republik, Dänemark, Estland, Finnland, Frankreich, Deutschland, Griechenland, Ungarn, Irland, Italien, Lettland, Litauen, Luxemburg, Malta, Niederlande, Polen, Portugal, Rumänien, Slowakei, Slowenien, Schweden, Australien, USA, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Hongkong, Norwegen, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, Bangladesch, Belize, Bermuda, Bolivien, Barbados, Brunei Darussalam, Kaimaninseln, Dominica, Ecuador, Ägypten, Guernsey, Gibraltar, Guadeloupe, Grenada, Französisch-Guayana, Island, Jersey, Jordanien, Kambodscha, St. Kitts und Nevis, St. Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Malediven, Montserrat, Martinique, Nicaragua, Oman, Pakistan, Peru, Paraguay, Réunion, Turks- und Caicosinseln, Saudi-Arabien, Südafrika, Vereinigte Arabische Emirate, Ukraine, Chile, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam
-
Versand ausgeschlossen:Isle of Man , Russische Föderation , Albanien , Andorra , Belarus , Spanien , Indonesien , Malaysia , Thailand , Israel , ... und weitere