Пропуск в контексте
An abstract dual propositional model counter

An abstract dual propositional model counter

Various real-world problems can be formulated as the task of counting the models of a propositional formula. This problem, also called #SAT, is therefore of practical relevance. We present a formal framework describing a novel approach based on considering the formula in question together with its n...

全面介紹

Сохранить в:
書目詳細資料
主要作者: Holldobler, S.
格式: Статья
語言:English
出版: CEUR-WS 2018
主題:
Formal framework
Non-dual
Propositional formulas
Real-world problem
在線閱讀:https://www.scopus.com/record/display.uri?eid=2-s2.0-85019910602&origin=resultslist&sort=plf-f&src=s&nlo=&nlr=&nls=&sid=1037d22933cbf8bcd3e6624b57a854a1&sot=aff&sdt=sisr&sl=174&s=AF-ID%28%22North+Caucasus+Federal+University%22+60070541%29+OR+AF-ID%28%22Stavropol+State+University%22+60070961%29+OR+AF-ID%28%22stavropolskij+Gosudarstvennyj+Tehniceskij+Universitet%22+60026323%29&ref=%28An+abstract+dual+propositional+model+counter%29&relpos=0&citeCnt=0&searchTerm=
https://dspace.ncfu.ru/handle/20.500.12258/3068
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!

因特網

https://www.scopus.com/record/display.uri?eid=2-s2.0-85019910602&origin=resultslist&sort=plf-f&src=s&nlo=&nlr=&nls=&sid=1037d22933cbf8bcd3e6624b57a854a1&sot=aff&sdt=sisr&sl=174&s=AF-ID%28%22North+Caucasus+Federal+University%22+60070541%29+OR+AF-ID%28%22Stavropol+State+University%22+60070961%29+OR+AF-ID%28%22stavropolskij+Gosudarstvennyj+Tehniceskij+Universitet%22+60026323%29&ref=%28An+abstract+dual+propositional+model+counter%29&relpos=0&citeCnt=0&searchTerm=
https://dspace.ncfu.ru/handle/20.500.12258/3068

相似書籍