Results 31 to 40 of about 124 (48)
Finding the Nucleoli of Large Cooperative Games: A Disproof with Counter-Example [PDF]
, 2016 Nguyen and Thomas (2016) claimed that they have found a method to compute the nucleoli of games with more than 50 players using nested linear programs (LP). Unfortunately, this claim is false.
Meinhardt, Holger Ingmar
core +3 more sources
G. Th. Guilbaud et la théorie du choix social
, 2011 URL des Documents de travail : http://centredeconomiesorbonne.univ-paris1.fr/bandeau-haut/documents-de-travail/ Classification AMS : 03B05, 91B14.Documents de travail du Centre d'Economie de la Sorbonne 2011.47 - ISSN : 1955-611XOne year after the ...
Monjardet, Bernard
core +1 more source
Resolution and binary decision diagrams cannot simulate each other polynomially [PDF]
, 2000 There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution. Others use so-called binary decision diagrams (BDDs).
Groote, J.F. (Jan Friso) +1 more
core
Calibrating the Complexity of Ternary Propositional Connectives [PDF]
, 2017 For each ternary propositional connective, we determine the minimum number of binary connectives needed to construct a logically equivalent formula. In order to reduce this problem to a computably feasible one, we prove a number of lemmas showing that
Bradley, William +4 more
core +1 more source
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
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
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