Finding the description of structure by counting method : a case study

vastutusandmed
Ahti Peder and Mati Tombak
allikas
SOFSEM 2011 : Theory and Practice of Computer Science : 37th Conference on Current Trends in Theory and Practice of Computer Science : Nový Smokovec, Slovakia, January 22-28, 2011 : proceedings
ilmumiskoht
Berlin
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 455-466 : ill
konverentsi nimetus, aeg
SOFSEM 2011 : Theory and Practice of Computer Science : 37th Conference on Current Trends in Theory and Practice of Computer Science, January 22-28, 2011
konverentsi toimumispaik
Nový Smokovec, Slovakia
ISSN
0302-9743
ISBN
978-3-642-18380-5
märkused
Bibliogr.: 11 ref
keel
inglise
võtmesõna
integer sequence
family of propositional
formulae
#SAT
Peder, A., Tombak, M. Finding the description of structure by counting method : a case study // SOFSEM 2011 : Theory and Practice of Computer Science : 37th Conference on Current Trends in Theory and Practice of Computer Science : Nový Smokovec, Slovakia, January 22-28, 2011 : proceedings. Berlin : Springer, 2011. p. 455-466 : ill. https://link.springer.com/chapter/10.1007/978-3-642-18381-2_38