print

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

author
Peder, Ahti
Tombak, Mati
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
Springer
year of publication
2011
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
keyword
superpositional graph
integer sequence
family of propositional
formulae
#SAT
ISSN
0302-9743
ISBN
978-3-642-18380-5
notes
Bibliogr.: 11 ref
language
inglise
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.