This HTML5 document contains 49 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n22http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n19http://purl.org/net/nknouf/ns/bibtex#
n12http://localhost/temp/predkladatel/
n17http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n9http://linked.opendata.cz/resource/domain/vavai/projekt/
n13http://linked.opendata.cz/ontology/domain/vavai/
n21https://schema.org/
n6http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n15http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F68407700%3A21230%2F04%3A03100101%21RIV%2F2005%2FGA0%2F212305%2FN/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n14http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F68407700%3A21230%2F04%3A03100101%21RIV%2F2005%2FGA0%2F212305%2FN
rdf:type
n13:Vysledek skos:Concept
dcterms:description
Není k dispozici We propose a novel two-level Boolean minimizer coming in succession to our previously developed minimizer BOOM, so we have named it BOOM-II. It is a combination of two minimizers, namely BOOM and FC Min. Each of these two methods has its own area where it is most efficiently applicable. We have combined these two methods together to be able to solve all kinds of problems efficiently, independently on their size or nature. The tool is very scalable in terms of the required runtime and/or the quality of the solution. It is applicable to functions with an extremely large number of both input and output variables. We propose a novel two-level Boolean minimizer coming in succession to our previously developed minimizer BOOM, so we have named it BOOM-II. It is a combination of two minimizers, namely BOOM and FC Min. Each of these two methods has its own area where it is most efficiently applicable. We have combined these two methods together to be able to solve all kinds of problems efficiently, independently on their size or nature. The tool is very scalable in terms of the required runtime and/or the quality of the solution. It is applicable to functions with an extremely large number of both input and output variables.
dcterms:title
Není k dispozici Two-Level Boolean Minimizer BOOM-II Two-Level Boolean Minimizer BOOM-II
skos:prefLabel
Two-Level Boolean Minimizer BOOM-II Two-Level Boolean Minimizer BOOM-II Není k dispozici
skos:notation
RIV/68407700:21230/04:03100101!RIV/2005/GA0/212305/N
n3:strany
221 ; 228
n3:aktivita
n16:P n16:Z
n3:aktivity
P(GA102/04/2137), Z(MSM 212300014)
n3:dodaniDat
n14:2005
n3:domaciTvurceVysledku
n17:7140827 n17:2194937
n3:druhVysledku
n10:D
n3:duvernostUdaju
n20:S
n3:entitaPredkladatele
n15:predkladatel
n3:idSjednocenehoVysledku
591077
n3:idVysledku
RIV/68407700:21230/04:03100101
n3:jazykVysledku
n8:eng
n3:klicovaSlova
two-level Boolean minimizer, benchmarks, covering problem, FC-min, BOOM
n3:klicoveSlovo
n4:FC-min n4:covering%20problem n4:benchmarks n4:two-level%20Boolean%20minimizer n4:BOOM
n3:kontrolniKodProRIV
[CE984759D8B7]
n3:mistoKonaniAkce
Freiberg (Sachsen)
n3:mistoVydani
Freiberg
n3:nazevZdroje
Boolean Problems - 6th International Workshop
n3:obor
n18:JC
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:projekt
n9:GA102%2F04%2F2137
n3:rokUplatneniVysledku
n14:2004
n3:tvurceVysledku
Kubátová, Hana Fišer, Petr
n3:typAkce
n22:WRD
n3:zahajeniAkce
2004-09-23+02:00
n3:zamer
n6:MSM%20212300014
s:numberOfPages
8
n19:hasPublisher
Freiberg University of Mining and Technology, Institute of Computer Science
n21:isbn
3-86012-233-9
n12:organizacniJednotka
21230