2025-02-23T14:50:36-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22open-sciencenbuvgovua-66789%22&qt=morelikethis&rows=5
2025-02-23T14:50:36-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22open-sciencenbuvgovua-66789%22&qt=morelikethis&rows=5
2025-02-23T14:50:36-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T14:50:36-05:00 DEBUG: Deserialized SOLR response
Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering

Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering

Saved in:
Bibliographic Details
Main Authors: S. V. Listrovoj, A. V. Sidorenko
Format: Article
Language:English
Published: 2015
Series:Electronic modeling
Online Access:http://jnas.nbuv.gov.ua/article/UJRN-0000800300
Tags: Add Tag
No Tags, Be the first to tag this record!
id open-sciencenbuvgovua-66789
record_format dspace
spelling open-sciencenbuvgovua-667892024-04-16T13:25:41Z Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering S. V. Listrovoj A. V. Sidorenko 0204-3572 2015 en Electronic modeling http://jnas.nbuv.gov.ua/article/UJRN-0000800300 Article
institution Library portal of National Academy of Sciences of Ukraine | LibNAS
collection Open-Science
language English
series Electronic modeling
spellingShingle Electronic modeling
S. V. Listrovoj
A. V. Sidorenko
Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering
format Article
author S. V. Listrovoj
A. V. Sidorenko
author_facet S. V. Listrovoj
A. V. Sidorenko
author_sort S. V. Listrovoj
title Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering
title_short Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering
title_full Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering
title_fullStr Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering
title_full_unstemmed Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering
title_sort methods of solution to the k-sat-problem is based on its reduction to the problem of covering
publishDate 2015
url http://jnas.nbuv.gov.ua/article/UJRN-0000800300
work_keys_str_mv AT svlistrovoj methodsofsolutiontotheksatproblemisbasedonitsreductiontotheproblemofcovering
AT avsidorenko methodsofsolutiontotheksatproblemisbasedonitsreductiontotheproblemofcovering
first_indexed 2024-04-17T04:50:22Z
last_indexed 2024-04-17T04:50:22Z
_version_ 1796884244918697984

Similar Items