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
Printexemplar via ETH-Bibliothek suchen
Verlag
ETHThema
COMBINATORIAL PROBLEMS (DISCRETE PROGRAMMING); KOMBINATORISCHE PROBLEME (DISKRETE OPTIMIERUNG)Organisationseinheit
02150 - Dep. Informatik / Dep. of Computer Science03232 - Gutknecht, Jürg
ETH Bibliographie
yes
Altmetrics