<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="https://www.zbc.uz.zgora.pl/repozytorium/style/common/xsl/oai-style.xsl"?>
<OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" 
         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
         xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/
         http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd">
	<responseDate>2026-06-28T05:12:12Z</responseDate>
	<request identifier="oai:zbc.uz.zgora.pl:78931" metadataPrefix="oai_dc" verb="GetRecord">
	https://zbc.uz.zgora.pl/repozytorium/oai-pmh-repository.xml</request>
	<GetRecord>
	
  <record>
	<header>
		<identifier>oai:zbc.uz.zgora.pl:78931</identifier>
	    <datestamp>2025-07-14T12:34:36Z</datestamp>
		  <setSpec>DigitalLibraryZielonaGora</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:Faculties:FacultyComputerElectricalControl</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:Faculties</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:TypesWork</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:TypesWork:Articles</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:ListJurnals</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:ListJurnals:AMCS</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:ListJurnals:AMCS:AMCS14</setSpec> 	    </header>
		<metadata>
	<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
<dc:title xml:lang="pl"><![CDATA[Selection of search strategies for solving 3-SAT problems]]></dc:title>
<dc:creator><![CDATA[Pułka, Andrzej]]></dc:creator>
<dc:subject xml:lang="pl"><![CDATA[SAT solving]]></dc:subject>
<dc:subject xml:lang="pl"><![CDATA[formal verification]]></dc:subject>
<dc:subject xml:lang="pl"><![CDATA[CNF]]></dc:subject>
<dc:subject xml:lang="pl"><![CDATA[Boolean satisfiability]]></dc:subject>
<dc:description xml:lang="pl"><![CDATA[The paper concerns the problem of Boolean satisfiability checking, which is recognized as one of the most important issues in the field of modern digital electronic system verification and design. The paper analyzes different strategies and scenarios of the proving process, and presents a modified and extended version of the autor`s FUDASAT algorithm.]]></dc:description>
<dc:description xml:lang="pl"><![CDATA[The original FUDASAT methodology is an intuitive approach that employs a commonsense reasoning methodology. The main objective of the work is to investigate the SAT-solving process and try to formulate a set of rules controlling the reasoning process of the FUDASAT inference engine. In comparison with the autor`s previous works, the paper introduces new mechanisms: hypergraph analysis, multiple variable assignments and search space pruning algorithms.]]></dc:description>
<dc:description xml:lang="pl"><![CDATA[The approach considers only 3-SAT class functions, although a generalization of the method is discussed as well. The presented approach has been tested on various benchmarks and compared with the original pure FUDASAT algorithm as well as with other algorithms known from the literature. Finally, the benefits of the proposed SAT solving technique are summarized.]]></dc:description>
<dc:publisher><![CDATA[Zielona Góra: Uniwersytet Zielonogórski]]></dc:publisher>
<dc:contributor><![CDATA[Makowski, Ryszard - ed.]]></dc:contributor>
<dc:contributor><![CDATA[Zarzycki, Jan - ed.]]></dc:contributor>
<dc:date><![CDATA[2014]]></dc:date>
<dc:type xml:lang="pl"><![CDATA[artykuł]]></dc:type>
<dc:identifier><![CDATA[http://www.zbc.uz.zgora.pl/repozytorium/Content/78931/AMCS_2014_24_2_5.pdf]]></dc:identifier>
<dc:identifier><![CDATA[https://zbc.uz.zgora.pl/repozytorium/dlibra/publication/88745/edition/78931/content]]></dc:identifier>
<dc:identifier><![CDATA[oai:zbc.uz.zgora.pl:78931]]></dc:identifier>
<dc:source xml:lang="pl"><![CDATA[AMCS, volume 24, number 2 (2014)]]></dc:source>
<dc:source xml:lang="pl"><![CDATA[https://www.amcs.uz.zgora.pl/?action=papers&issue=57]]></dc:source>
<dc:language><![CDATA[eng]]></dc:language>
<dc:relation><![CDATA[oai:zbc.uz.zgora.pl:publication:88745]]></dc:relation>
<dc:rights xml:lang="pl"><![CDATA[Biblioteka Uniwersytetu Zielonogórskiego]]></dc:rights>
</oai_dc:dc>

</metadata>
	  </record>	</GetRecord>
</OAI-PMH>
