647 research outputs found
A Mining-Based Compression Approach for Constraint Satisfaction Problems
In this paper, we propose an extension of our Mining for SAT framework to
Constraint satisfaction Problem (CSP). We consider n-ary extensional
constraints (table constraints). Our approach aims to reduce the size of the
CSP by exploiting the structure of the constraints graph and of its associated
microstructure. More precisely, we apply itemset mining techniques to search
for closed frequent itemsets on these two representation. Using Tseitin
extension, we rewrite the whole CSP to another compressed CSP equivalent with
respect to satisfiability. Our approach contrast with previous proposed
approach by Katsirelos and Walsh, as we do not change the structure of the
constraints.Comment: arXiv admin note: substantial text overlap with arXiv:1304.441
Learning for Dynamic subsumption
In this paper a new dynamic subsumption technique for Boolean CNF formulae is
proposed. It exploits simple and sufficient conditions to detect during
conflict analysis, clauses from the original formula that can be reduced by
subsumption. During the learnt clause derivation, and at each step of the
resolution process, we simply check for backward subsumption between the
current resolvent and clauses from the original formula and encoded in the
implication graph. Our approach give rise to a strong and dynamic
simplification technique that exploits learning to eliminate literals from the
original clauses. Experimental results show that the integration of our dynamic
subsumption approach within the state-of-the-art SAT solvers Minisat and Rsat
achieves interesting improvements particularly on crafted instances
EVALUACIÓN DEL FUNGICIDA SPHINX SUPRA WG® EN EL CONTROL DEL MILDIÚ VELLOSO (Peronospora sparsa Berkeley) EN EL CULTIVO DE ROSAL (Rosa spp.) EN TENANCINGO, ESTADO DE MÉXICO.
Una de las enfermedades limitantes en el cultivo de rosa es el mildiú velloso producido por el Oomicete holobiotrofo Peronospora sparsa, que causa daños considerables en la producción. Estos daños se manifiestan principalmente en tejidos jóvenes, son visibles inicialmente en las hojas, seguido de tallos, pedúnculos y cáliz. Para su manejo se realizan aplicaciones de fungicidas básicamente, sin embargo se conoce poco sobre su eficiencia biológica, así como las dosis recomendadas en las etiquetas. El objetivo de esta investigación fue evaluar la efectividad biológica del fungicida Sphinx Supra WG (Dimetomorf+Clorotalonil) en comparación con testigos comerciales Curzate M-8 y Consento que se utilizan para el manejo de este patógeno en la zona florícola del sureste del Estado de México, para ofrecer alternativas con nuevos productos para su control. Se estableció un diseño de bloques completos al azar con cuatro repeticiones en rosas Bingo White Var. Meilotrie; se evaluaron tres dosis de Sphinx Supra WG a 1 ml L-1, 1.5 ml L-1 y 2 ml L-1, dos testigos comerciales (Cimoxanil+Mancozeb) y (Propamocarb HCI+Fenamidone) a una dosis de 1 ml L-1 para ambos casos y un testigo absoluto. Se realizó una preevaluación y después de la primera aplicación se continuaron evaluaciones cada 5 días, hasta completar el experimento, evaluando incidencia, severidad y fitotoxicidad. Al término del experimento el tratamiento con menor incidencia y severidad fue Sphinx Supra WG a 1.5 ml L-1 con 23% y 31.67% respectivamente, lo que representó una efectividad biológica del 67.38%, seguido por Sphinx Supra WG a 1 ml L-1 con una incidencia y severidad de 25% y 41.67%, obteniendo una efectividad biológica del 57.08%, mientras que el testigo absoluto presentó los niveles más altos de incidencia y severidad de 81.25% y 97.08%, respectivamente. Con estos resultados se demuestra, que Sphinx Supra WG presentó la mayor efectividad biológica sobre Peronospora sparsa, sin efecto fitotóxico, y fue contrastante con el testigo absoluto y los testigos comerciales evaluados
De FC à MAC : un algorithme paramétrable pour la résolution des CSP
http://www710.univ-lyon1.fr/~csolnonBeaucoup d'algorithmes de résolution de Problèmes de Satisfaction de Contraintes ont été proposés ces dernières années. Parmi ces algorithmes nous pouvons mentionner les deux les plus populaires et les plus étudiés : le Forward-Checking (FC) et Maintaining Arc-Consistency (MAC). Dans ce papier, nous étudions ces deux algorithmes et nous réévaluons leurs performances sur des problèmes générés aléatoirement. Précisément, nous montrons expérimentalement que FC est meilleur que MAC sur des CSP difficiles dont le graphe de contraintes est très dense et la dureté des contraintes est faible. En revanche, MAC se montre plus performant que FC sur des problèmes difficiles avec un graphe de contraintes peu dense et une dureté élevée. Ces résultats montrent que le maintien de l'Arc-consistance pendant la recherche peut être une perte de temps. Ensuite, Nous proposons une approche générique qui permet, pendant la recherche, un maintien partiel et paramétrable de la consistance locale
Concert recording 2015-01-17
[Track 01]. Tuba suite / Gordon Jacob -- [Track 02]. Nocturno op. 7 / Franz Strauss -- [Track 03]. Capriccio / Rodney Newton
La Vegetació halòfila dels aiguamolls de l'Empordà
Es descriu la vegetació halòfila de la plana litoral de l'Alt Empordà, que comprèn vint-i-un sintàxons fins al rang de subassociació, agrupats en dotze associacions. Es descriu una nova subassociació, Schoeno- Plantaginetum parapholietosum filiformis de les depressions sorrenques situades entre els cordons dunars i les zones de maresma.A description of halophytic vegetation of the Alt Empordà coastal plain (N.E. Iberian Peninsula) is presented. It includes 21 communities below subassociation, gathered in 12 associations. A new subassociation (Schoeno-Plantaginetum parapholietosum filiformis) is described in the sandy depressions between the dunes and the marshes.Se describe la vegetación halófila de la llanura litoral del Alt Empordà, que consta de 21 sintaxones hasta el rango de subasociación, agrupados en 12 asociaciones. Se describe una nueva subasociación Schoeno-Plantaginetum parapholietosum filiformis de las depresiones arenosas situadas entre los cordones dunares y las zonas de marisma
- …