About: On Properties of SAT Instances Produced by SAT-Based ATPGs

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: On Properties of SAT Instances Produced by SAT-Based ATPGs Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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. (en)
Title	On Properties of SAT Instances Produced by SAT-Based ATPGs On Properties of SAT Instances Produced by SAT-Based ATPGs (en)
skos:prefLabel	On Properties of SAT Instances Produced by SAT-Based ATPGs On Properties of SAT Instances Produced by SAT-Based ATPGs (en)
skos:notation	RIV/68407700:21240/09:00159044!RIV10-MSM-21240___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA102/09/1668), Z(MSM6840770014)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Fišer, Petr Schmidt, Jan
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	České vysoké učení technické v Praze / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	331438
http://linked.open...ai/riv/idVysledku	RIV/68407700:21240/09:00159044
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	SAT; ATPG; testing; test compression (en)
http://linked.open.../riv/klicoveSlovo	SAT test compression testing ATPG
http://linked.open...ontrolniKodProRIV	[790A120B557F]
http://linked.open...v/mistoKonaniAkce	Znojmo
http://linked.open...i/riv/mistoVydani	Brno
http://linked.open...i/riv/nazevZdroje	Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	SoC circuits reliability and availability improvement
http://linked.open...UplatneniVysledku	2009
http://linked.open...iv/tvurceVysledku	Balcárek, Jiří Fišer, Petr Schmidt, Jan
http://linked.open...vavai/riv/typAkce	EUR - Evropská
http://linked.open.../riv/zahajeniAkce	2009-11-13 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Výzkum perspektivních informačních a komunikačních technologií
number of pages	8 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Neuveden
https://schema.org/isbn	978-80-87342-04-6
http://localhost/t...ganizacniJednotka	21240
is http://linked.open...avai/riv/vysledek of	On Properties of SAT Instances Produced by SAT-Based ATPGs On Properties of SAT Instances Produced by SAT-Based ATPGs On Properties of SAT Instances Produced by SAT-Based ATPGs On Properties of SAT Instances Produced by SAT-Based ATPGs

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 41 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software