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: 91,386

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

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.
Conciliation Ethics in the Qurʾan.Shafi Fazaluddin - 2016 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 29 (2):333-358.
Dancing with Shackles: Judge’s Engagement in Court Conciliation of Chinese Civil Cases.Youping Xu - 2015 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 28 (1):209-226.
The Private Christian's Witness for Christianity to the Notional and Erroneous Apprehensions of the Arminian, Socinian, and Deist of the Age : With the Easy and True Means Leading the Prophane, Meer Professor, and Lazy Christian, to the Same Experience, as Preservative Against the Infection of Each, and Against the Ill Example of the Practical Blemishes in Lazy Christians Conversation.David Hamilton - 1697 - Printed for Thomas Cockerill.
PROBabilities from EXemplars (PROBEX): a “lazy” algorithm for probabilistic inference from generic knowledge.Peter Juslin & Magnus Persson - 2002 - Cognitive Science 26 (5):563-607.
A decomposition-based method for solving the clustered vehicle routing problem.Horvat-Marc Andrei, Fuksz Levente, C. Pop Petrică & Dănciulescu Daniela - 2018 - Logic Journal of the IGPL 26 (1):83-95.
Pascal's Challenge.Steven Merle Duncan - manuscript
SCE-Cell Decomposition and OCP in Weakly O-Minimal Structures.Jafar S. Eivazloo & Somayyeh Tari - 2016 - Notre Dame Journal of Formal Logic 57 (3):399-410.
Cell decomposition for P‐minimal fields.Marie-Hélène Mourgues - 2009 - Mathematical Logic Quarterly 55 (5):487-492.
Trees and diagrams of decomposition.Anita Wasilewska - 1985 - Studia Logica 44 (2):139 - 158.
Mission impossible? Judges’ playing of dual roles as adjudicator and mediator in Chinese court conciliation.Xu Youping - 2017 - Semiotica 2017 (216):399-421.
Further notes on cell decomposition in closed ordered differential fields.Cédric Rivière - 2009 - Annals of Pure and Applied Logic 159 (1-2):100-110.
Some legal foundations of society: understanding, purpose and conciliation as means and ends of positive law and representative government.Ruby Ross Vale - 1941 - San Francisco,: C.W. Taylor, Jr..
The Importance of Being Lazy: In Praise of Play, Leisure, and Vacation.Al Gini - 2003 - Routledge.
The Uniqueness Of The Decomposition Of Distributive Lattices Into Sums Of Boolean Lattices.Joanna Grygiel & Piotr Wojtylak - 1997 - Reports on Mathematical Logic:93-102.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,510,250)

6 months
3 (#992,474)

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