Diskrétna tomografia cez SAT solver a ILP solver

Bibliographic Details
Main Author: Malý, Michal (Author)
Format: Article
Language:Slovak
ISBN:9788089186877

MARC

LEADER 00000naa a2200000uu 4500
001 vtls011086383
003 SK-MaSNL
005 20260302105404.0
008 210905|2011 xo |||||||||||||||||slo|
015 |a SNBRA 
035 |a (urnnbn)urn:nbn:sk:snk:ar-a0cmrc 
035 |a (uuid)0f7fd9ab-80ec-42a6-9edb-a2b8add549b0 
035 |a urn:nbn:sk:snk-aavsm8 
040 |a SNKBUCL  |b slo  |c SNKBUCL  |e AACR2 
041 0 |a slo 
044 |a xo  |c SK 
100 1 |a Malý, Michal  |4 aut  |9 780110 
245 1 0 |a Diskrétna tomografia cez SAT solver a ILP solver  |c Michal Malý 
773 0 |t Študentská vedecká konferencia FMFI UK, Bratislava, 2011  |d Bratislava : Knižničné a edičné centrum, Fakulta matematiky, fyziky a informatiky, Univerzita Komenského, 2011  |g S. [322]-325  |z 9788089186877 
958 |a OND 
958 |a article12 
958 |a chapter 
999 |c 1238464  |d 1240394