Federacja Bibliotek Cyfrowych

Homepage
Zielonogórska Biblioteka Cyfrowa
Selection of search strategies for solving 3-SAT problems

Object's details: Selection of search strategies for solving 3-SAT problems

tile.noImage

Provider:Zielonogórska Biblioteka Cyfrowa

Description

Title:
Selection of search strategies for solving 3-SAT problems
Creator:
Pułka, Andrzej
Contributor:
Makowski, Ryszard (Red.);
Zarzycki, Jan (Red.)
Object availability:
free access
Rights:
Biblioteka Uniwersytetu Zielonogórskiego
Date:
2014
Type:
artykuł
Language:
English
Source:
AMCS, volume 24, number 2 (2014);
https://www.amcs.uz.zgora.pl/?action=papers&issue=57
Publisher:
Zielona Góra: Uniwersytet Zielonogórski
Subject:
SAT solving;
formal verification;
CNF;
Boolean satisfiability
Identifier:
10.2478/amcs-2014-0021
Data provider:
Zielonogórska Biblioteka Cyfrowa

Can I use it?:
check license
Type:
image

FBC TeNe Project

Project co-financed by European Funds under the Operational Program Digital Poland for 2014-2020 (project no. POPC.02.04.00-00-0012 / 20-00)

More information about the project can be found at: https://tene.fbc.pionier.net.pl

European Funds. Digital Poland

Republic of Poland

Digital Libraries Federation

European Union - European Regional Development Fund

We use files, through the cookie quality improvement layer of our website.For more information, please read the document Privacy Policy