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

statement of authorship
Ahti Peder and Mati Tombak
source
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
location of publication
Berlin
publisher
year of publication
pages
p. 455-466 : ill
conference name, date
SOFSEM 2011 : Theory and Practice of Computer Science : 37th Conference on Current Trends in Theory and Practice of Computer Science, January 22-28, 2011
conference location
Nový Smokovec, Slovakia
ISSN
0302-9743
ISBN
978-3-642-18380-5
notes
Bibliogr.: 11 ref
language
inglise
keyword
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