首页> 外文OA文献 >Une approche basée sur la décomposition arborescente pour la résolution d'instances SAT structurées

【2h】

Une approche basée sur la décomposition arborescente pour la résolution d'instances SAT structurées

机译：一种基于树分解的结构化SAT实例解析方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Habet Djamal; Paris Lionel; Terrioux Cyril;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种 fr
中图分类

相似文献

外文文献
中文文献
专利

1. Former les équipes terrain à la conditionnante des aides: CAM 53, COHESIS ET SEVEPI ont investi dans une formation relative à la conditionnante des aides pour accompagner les agriculteurs dans une approche plus ou moins structurée [J] . Agro-Distribution . 2005,第155期

机译：培训现场团队进行援助条件培训：CAM 53，COHESIS和SEVEPI已投资于与援助条件相关的培训，以或多或少的结构化方式支持农民
2. Une approche basee sur la programmation par contraintes pour affecter des cellules a des commutateurs dans les reseaux cellulaires pour mobiles [J] . Grace AMOUSSOU, Matthieu ANDRE, Gilles PESANT, Annales des Telecommunications . 2003,第3a4期

机译：在蜂窝蜂窝网络中将信元分配给交换机的约束编程方法
3. Une architecture de système d'information collaboratif pour la gestion de crise: Approche basée sur la médiation des systèmes [J] . Sébastien Truptil, rnFrederick Bénaben, rnHervé Pingaud Ingenierie des Systemes d'Information . 2010,第3期

机译：用于危机管理的协作信息系统体系结构：基于系统中介的方法
4. Approche basée sur les arbres sémantiques pour la désambiguïsation lexicale de la langue arabe en utilisant une procédure de vote [C] . Laroussi Merhbene, Anis zouaghi, Mounir zrigui TALN-RECITAL workshop . 2014

机译：基于语义树的使用投票程序消除阿拉伯语词汇歧义的方法
5. Modeles physiques pour la resolution de problemes en vision artificielle: Une approche basee sur la topologie algebrique calculatoire. [D] . Poulin, Pierre. 2002

机译：解决人工视觉问题的物理模型：一种基于计算代数拓扑的方法。
6. Diagnostic moléculaire des infections respiratoires à entérovirus : apport de la PCR et du génotypage pour une meilleure approche de la circulation des souches en Basse-Normandie au cours de l’année 2008 [O] . J. Petitjean-Lecherbonnier, J. Dina, E. Nguyen, -1

机译：肠道病毒对呼吸道感染的分子诊断：PCR和基因分型的贡献为2008年下诺曼底的菌株流通提供了更好的方法
7. Institut des Nations Unies pour la Recherche sur le Désarmement (UNIDIR). Désarmement : Problèmes relatif à l’espace extra-atmosphérique. New York, UNIDIR, 1988. 187 p. Disarmament Research : Agenda for the 1990s, Sochi (USSR), 22-24 March 1988/Le Désarmement : Programme pour les années 90, Sotchi (URSS), 22-24 mars 1988. New York, UNIDIR, 1988, 179 p. Interrelationship of Bilateral and Multilateral Disarmament Negotiations, Baku (USSR), 2-4 June 1987 / Les relations entre les négociations bilatérales et multilatérales sur le désarmement, Bakou (URSS) 2-4 juin 1987. New York, UNIDIR, 1988, 266 p. Brie, André, Muller, Manfred, Schirmeister, Helga et Karkoszka, Andrezej. Le désarmement classique en Europe. New York, UNIDIR, 1988, 70 p. Fischer, David A. V. The International Non-Proliferation Régime 1987. New York, UNIDIR, 1987, 87 p. Lellouche, Pierre (sous la direction de). La guerre des satellites : enjeux pour la communauté internationale. New York, UNIDIR, 1988, 52 p. Mahiga, Augustine P. et Nji, Fidelis M. Confidence-Building Measures in Africa. New York, UNIDIR, 1987 22 p. Sur, Serge. Une approche juridique de la vérification en matière de désarmement ou de limitation des armements. New York, UNIDIR, Coll. « Travaux de recherche », no 1, 1988, 75 p. Sur, Serge. Problèmes de vérification du Traité de Washington du 8 décembre 1987 sur l’élimination des missiles à portée intermédiaire. New York, UNIDIR, Coll. « Travaux de recherche », no 2, 1988, 70 p. [O] . Albert Madeleine 1989

机译：Institut des Nations Unies pour la Recherche surleDésarmement（裁研所）。 Désarmement：problèmes重新设计了额外的atmosphérique。纽约，裁研所，1988年.187 p。裁军研究：1990年代议程，索契（苏联），1988年3月22日至24日/LeDésarmement：计划倾向90，sotchi（URss），22-24火星1988年。纽约，裁研所，1988年，179页。双边和多边裁军谈判的相互关系，巴库（苏联），1987年6月2日至4日/莱斯关系进行生物多样性与生物多样性研究，巴库（URss）1987年7月2日至4日。纽约，裁研所，1988年，266页。 Brie，andré，muller，manfred，schirmeister，Helga et Karkoszka，andrezej。 Ledésarmementclassiqueen Europe。纽约，裁研所，1988年，70页。 Fischer，David a. V. 1987年国际不扩散制度。纽约，裁研所，1987年，87页。 Lellouche，皮埃尔（sous la direction de）。 La guerre des satellites：enjeux pourlacommunautéinternationale。纽约，裁研所，1988年，52页。 mahiga，augustine p. et Nji，Fidelis m.非洲建立信任措施。纽约，裁研所，1987年22页。苏尔，塞尔。 Une approche juridique delavérificationenmatièrededésarmementoude limitation des armements。纽约，裁研所，科尔。 «Travaux de recherche»，第1期，1988年，75页。苏尔，塞尔。 problèmesdevérificationduTraitédeWashington du8décembre1987 sur l'éliminationdesmissilesàportéeintermédiaire。纽约，裁研所，科尔。 «Travaux de recherche»，no 2,1988,70 p。

Une approche basée sur la décomposition arborescente pour la résolution d'instances SAT structurées

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅