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

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

Namespace Prefixes

PrefixIRI
n17http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n15http://localhost/temp/predkladatel/
n14http://purl.org/net/nknouf/ns/bibtex#
n22http://linked.opendata.cz/resource/domain/vavai/projekt/
n5http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n21http://linked.opendata.cz/ontology/domain/vavai/
n18http://linked.opendata.cz/resource/domain/vavai/zamer/
n11https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n6http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F68407700%3A21240%2F09%3A00159044%21RIV10-MSM-21240___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n12http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F68407700%3A21240%2F09%3A00159044%21RIV10-MSM-21240___
rdf:type
skos:Concept n21:Vysledek
dcterms:description
In this paper we propose a study of properties of SAT (satisffability) instances produced by SAT-based Automatic Test Pattern Generators (ATPGs). Standard non-commercial SAT solvers are being widely used for the purpose of solving these instances.We show an analysis of properties of these special SAT instances. Even though these ATPG SAT instances have been thoroughly studied in the past, we show some newly found properties. Particularly, reasons why ATPG SAT instances are `easy to be solved' are shown by analysis of the SAT instances. Then, unexpected behavior of ATPG SAT instances, in terms of their satisfiffability, was observed. Next, we propose solution-preserving SAT transformations and study the properties of the reduced SAT instances. In this paper we propose a study of properties of SAT (satisffability) instances produced by SAT-based Automatic Test Pattern Generators (ATPGs). Standard non-commercial SAT solvers are being widely used for the purpose of solving these instances.We show an analysis of properties of these special SAT instances. Even though these ATPG SAT instances have been thoroughly studied in the past, we show some newly found properties. Particularly, reasons why ATPG SAT instances are `easy to be solved' are shown by analysis of the SAT instances. Then, unexpected behavior of ATPG SAT instances, in terms of their satisfiffability, was observed. Next, we propose solution-preserving SAT transformations and study the properties of the reduced SAT instances.
dcterms:title
On Properties of SAT Instances Produced by SAT-Based ATPGs On Properties of SAT Instances Produced by SAT-Based ATPGs
skos:prefLabel
On Properties of SAT Instances Produced by SAT-Based ATPGs On Properties of SAT Instances Produced by SAT-Based ATPGs
skos:notation
RIV/68407700:21240/09:00159044!RIV10-MSM-21240___
n3:aktivita
n4:Z n4:P
n3:aktivity
P(GA102/09/1668), Z(MSM6840770014)
n3:dodaniDat
n12:2010
n3:domaciTvurceVysledku
n5:2910977 n5:2194937
n3:druhVysledku
n10:D
n3:duvernostUdaju
n19:S
n3:entitaPredkladatele
n6:predkladatel
n3:idSjednocenehoVysledku
331438
n3:idVysledku
RIV/68407700:21240/09:00159044
n3:jazykVysledku
n9:eng
n3:klicovaSlova
SAT; ATPG; testing; test compression
n3:klicoveSlovo
n16:SAT n16:ATPG n16:test%20compression n16:testing
n3:kontrolniKodProRIV
[790A120B557F]
n3:mistoKonaniAkce
Znojmo
n3:mistoVydani
Brno
n3:nazevZdroje
Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
n3:obor
n7:IN
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
3
n3:projekt
n22:GA102%2F09%2F1668
n3:rokUplatneniVysledku
n12:2009
n3:tvurceVysledku
Schmidt, Jan Fišer, Petr Balcárek, Jiří
n3:typAkce
n17:EUR
n3:zahajeniAkce
2009-11-13+01:00
n3:zamer
n18:MSM6840770014
s:numberOfPages
8
n14:hasPublisher
Neuveden
n11:isbn
978-80-87342-04-6
n15:organizacniJednotka
21240