zboží
(prázdné)
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
číst celé
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
schovat popis
- Nakladatel: IOS Press
- Kód:
- Rok vydání: 2009
- Jazyk: Angličtina
- Vazba: Vázaná
- Počet stran: 980
- Šířka balení: 24.1 cm
- Výška balení: 16.8 cm
- Hloubka balení: 6.3 cm
- Váha balení: 1.9 kg
Recenze