Relaxations of the satisfiability problem using semidefinite programming [PDF]
, 1999 We derive a semidefinite relaxation of the satisfiability (SAT) problem and discuss its strength. We give both the primal and dual formulation of the relaxation.
Klerk, E. (Etienne) de +2 more
core
, 2021 In this paper some proof theory for propositional Lax Logic is developed. A cut free terminating sequent calculus is introduced for the logic, and based on that calculus it is shown that the logic has uniform interpolation.
Iemhoff, Rosalie
core
A Multi-Layered Architecture for Collaborative and Decentralized Consequence Finding [PDF]
, 2015 The consequence finding problem consists in producing all the consequences of a logical theory or, depending on the application context, in a restricted subset of these consequences.
Chatalic, Philippe +1 more
core +1 more source
Simplifying the Kohlberg Criterion on the Nucleolus: A Disproof by Oneself [PDF]
, 2017 (Nguyen 2016) claimed that he has developed a simplifying set of the Kohlberg criteria that involves checking the balancedness of at most (n-1) sets of coalitions. This claim is not true.
Meinhardt, Holger Ingmar
core
Détection du stress hydrique par thermographie infrarouge : application à la culture de la pomme de terre [PDF]
, 2018 Le déficit hydrique affecte plusieurs variables physiologiques de la plante et est synonyme de baisse de rendement et de qualité pour des végétaux de grande culture tels que la pomme de terre. Dès lors, l’irrigation devient une solution préconisée. Celle-
Kotchi, Serge Olivier
core
Introducing w-Horn and z-Horn: A generalization of Horn and q-Horn formulae [PDF]
, 2021 Adamkó, Attila +3 more
core +5 more sources
Assessing Chronotypes by Ambulatory Circadian Monitoring. [PDF]
Front Physiol, 2019 Martinez-Nicolas A +5 more
europepmc +1 more source
A dPIP5K dependent pool of phosphatidylinositol 4,5 bisphosphate (PIP2) is required for G-protein coupled signal transduction in Drosophila photoreceptors. [PDF]
PLoS Genet, 2015 Chakrabarti P +6 more
europepmc +1 more source
Genetic snapshots of the Rhizobium species NGR234 genome. [PDF]
Genome Biol, 2000 Viprey V +3 more
europepmc +1 more source
On propositional logic semirings
Propositional logic serves as a fundamental cornerstone in mathematical logic. This paper delves into a semiring characterization of propositional logic, employing the Gr\"oebner-Shirshov basis theory to furnish an algebraic framework for deduction and ...
Li, Wenxi, Wang, Zhongzhi
core