Solving combinatorial problems with SAT
Closed access
Datum
2012Typ
- Doctoral Thesis
ETH Bibliographie
yes
Altmetrics
Persistenter Link
https://doi.org/10.3929/ethz-a-007608469Publikationsstatus
publishedExterne Links
Suchen via SFX
Beteiligte
Referent: Sbalzarini, Ivo FabianReferent: Gutknecht, Jürg
Verlag
ETHThema
COMBINATORIAL PROBLEMS (DISCRETE PROGRAMMING); KOMBINATORISCHE PROBLEME (DISKRETE OPTIMIERUNG)Organisationseinheit
02150 - Departement Informatik / Department of Computer Science03232 - Gutknecht, Jürg
ETH Bibliographie
yes
Altmetrics