Parallelizing SMT solving: Lazy decomposition and conciliation

, , , &
Artificial Intelligence 257:127-157 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2018.01.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Song-Ming neo-Confucianism (1) : from Cheng Yi to Zhu Xi.Shu-Hsien Liu - 2009 - In Bo Mou (ed.), History of Chinese philosophy. New York: Routledge.
Tian ming yu min sheng: Xi Zhou ren wen jing shen zhi shen quan guan chu tan.Dingxian Yan - 1987 - Taibei Shi: Taiwan shang wu yin shu guan.
Ming dai yi min: Gu Yanwu Wang Fuzhi Huang Zongxi.Qing Sun - 2015 - Zhengzhou Shi: Zhongzhou gu ji chu ban she.
Gu Xian-cheng and Gao Pan-long's Theory about the Unity of the Virtue of Heaven and Man in the Doctrine.Chun-hai Tseng - 2004 - Philosophy and Culture 31 (10):137-156.
The ontologicalization of the Confucian concept of Xin Xing: Zhou Lianxi’s founding contribution to the Song-Ming Neo-Confucianism. [REVIEW]Jinglin Li - 2006 - Frontiers of Philosophy in China 1 (2):204-221.
Tao Zhu guo hun: she hui zhu yi he xin jia zhi ti xi rong ru guo min jiao yu he jing shen wen ming jian she quan guo cheng dui ce yan jiu.Yanbin Chen - 2015 - Guangzhou: Guangdong gao deng jiao yu chu ban she.
Advanced SMT techniques for weighted model integration.Paolo Morettin, Andrea Passerini & Roberto Sebastiani - 2019 - Artificial Intelligence 275 (C):1-27.
Zhou Dunyi yu Song Ming li xue.Jiangang Zhou - 2018 - Beijing: Zhongguo she hui ke xue chu ban she.
Lazy propagation: A junction tree inference algorithm based on lazy evaluation.Anders L. Madsen & Finn V. Jensen - 1999 - Artificial Intelligence 113 (1-2):203-245.
Enhancing SMT-based Weighted Model Integration by structure awareness.Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini & Roberto Sebastiani - 2024 - Artificial Intelligence 328 (C):104067.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,478,678)

6 months
3 (#1,206,053)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

No citations found.

Add more citations

References found in this work

Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.

Add more references