Filtrer vos résultats
- 144
- 44
- 145
- 23
- 7
- 7
- 6
- 1
- 187
- 1
- 1
- 1
- 4
- 2
- 1
- 4
- 8
- 11
- 3
- 4
- 3
- 8
- 18
- 7
- 5
- 15
- 16
- 9
- 7
- 9
- 7
- 3
- 4
- 4
- 4
- 2
- 8
- 6
- 7
- 1
- 7
- 141
- 46
- 1
- 186
- 19
- 13
- 11
- 11
- 8
- 6
- 5
- 4
- 3
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 188
- 63
- 42
- 39
- 23
- 18
- 16
- 14
- 12
- 12
- 10
- 8
- 8
- 8
- 7
- 7
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
188 résultats
A SAT-based framework for overlapping community detection in networksPAKDD 2017 : Pacific-Asia Conference on Knowledge Discovery and Data Mining, May 2017, Jeju, South Korea. pp.786 - 798, ⟨10.1007/978-3-319-57529-2_61⟩
Communication dans un congrès
hal-01696118v1
|
|||
Utilisation de la Propagation de Contraintes pour la Production de Sous-ClausesPremières Journées Francophones de la Programmation par Contraintes (JFPC'05), 2005, Lens, France. pp.69-78
Communication dans un congrès
hal-03300993v1
|
|||
Itemset Mining with PenaltiesICTAI: International Conference on Tools with Artificial Intelligence, Nov 2016, San Jose, CA, United States. ⟨10.1109/ICTAI.2016.0148⟩
Communication dans un congrès
lirmm-01799451v1
|
|||
Extending Resolution by Dynamic Substitution of Boolean Functions24th International Conference on Tools with Artificial Intelligence (ICTAI'12), 2012, Athens, Greece. pp.1029-1034
Communication dans un congrès
hal-00865574v1
|
|||
Inductive Reasoning is Sometimes DeductiveProceedings of the ECAI-96 Workshop on Abductive and Inductive Reasoning, 1996, Budapest, Unknown Region. pp.36-39
Communication dans un congrès
hal-03300579v1
|
|||
Logically-complete local search for propositional nonmonotonic knowledge basesProc. of the 7th Intl. Workshop on Nonmonotonic Reasoning (NMR-98), 1998, Trente, Italy. pp.37-45
Communication dans un congrès
hal-03300575v1
|
|||
Tabu Search for SATProc. of the 14th Nat. Conf. on Artificial Intelligence (AAAI-97), 1997, Rhode Island, USA, Unknown Region. pp.281-285
Communication dans un congrès
hal-03300530v1
|
|||
Fuzzy generalized fast marching method for 3D segmentation of brain structuresInternational Journal of Imaging Systems and Technology (IJIST), 2017, 27 (3), pp.281-306
Article dans une revue
hal-03301133v1
|
|||
Modelling and checking complex discrete critical systemsProceedings of the International Conference on Modelling and Simulation - MS'00, 2000, Las Palmas de Gran Canaria, Unknown Region. pp.233-240
Communication dans un congrès
hal-03300519v1
|
|||
Mining Gradual Itemsets Using Sequential Pattern Mining2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Jun 2019, New Orleans, United States. pp.1-6, ⟨10.1109/FUZZ-IEEE.2019.8858864⟩
Communication dans un congrès
hal-03600347v1
|
|||
Vivifying propositional clausal formulae18th European Conference on Artificial Intelligence (ECAI'08), 2008, Patras, Greece. pp.525-529
Communication dans un congrès
hal-00865274v1
|
|||
|
|
Using Boolean Constraint Propagation for Sub-clause Deduction11th International Conference on Principles and Practice of Constraint Programming (CP'05), Oct 2005, Sitges, Spain. pp.757-761
Communication dans un congrès
hal-00396436v1
|
||
From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'17), 2017, Maun, Botswana. pp.286-299
Communication dans un congrès
hal-03300226v1
|
|||
|
|
Inférence de supports pour les algorithmes de filtrage génériquePremières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.89-98
Communication dans un congrès
inria-00000048v1
|
||
Some Ideas on Random Generation of K-Sat InstanceProceedings of the AAAI-94 Workshop on Experimental Evaluation of Reasoning and Search Methods, 1994, Seattle, USA, Unknown Region. pp.91-93
Communication dans un congrès
hal-03301145v1
|
|||
|
|
Utilisation de la Propagation de Contraintes Booléennes pour la Production de Sous-ClausesPremières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.69-78
Communication dans un congrès
inria-00000058v1
|
||
SAT : Experiments meet TheoryProceedings of the ECAI-96 Workshop on Experimental Artificial Intelligence, 1996, Budapest, Unknown Region
Communication dans un congrès
hal-03301142v1
|
|||
A generalized Framework For Conflict AnalysisEleventh International Conference on Theory and Applications of Satisfiability Testing(SAT'08), 2008, China. pp.21--27
Communication dans un congrès
hal-00800738v1
|
|||
Elimination des redondances dans les algorithmes de résolution de SATActes du Quatorzième Congrès Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA-2004), 2004, Toulouse, France. pp.1343-1350
Communication dans un congrès
hal-03300594v1
|
|||
Techniques de simplification de CNFActes des 8èmes Journées Nationales sur la Résolution Pratique des Problèmes NP-complets (JNPC-02), 2002, Nice, France. pp.181-194
Communication dans un congrès
hal-03300595v1
|
|||
Eliminating redundancies in SAT search treesProc. of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2003), 2003, Sacramento, Unknown Region. pp.100-104
Communication dans un congrès
hal-03300508v1
|
|||
Suppression des clauses redondantes dans des instances SAT3èmes Journées Francophones de Programmation par Contraintes (JFPC'07), 2007, Rocquencourt, France. pp.28-37
Communication dans un congrès
hal-03300591v1
|
|||
Portfolio-based Parallel {SAT} solvingInternational Conference on High Performance Computing and Simulation (HPCS'10), 2010, Caen, France. pp.331
Communication dans un congrès
hal-00865379v1
|
|||
|
|
preSAT: SAT Solver Description2008
Rapport
hal-00872842v1
|
||
A Powerful Heuristic to Locate Inconsistent Kernels in Knowledge-Based SystemsProc. Int. Conf. on Inform. Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-96), 1996, Unknown, Grenada. pp.1265-1269
Communication dans un congrès
hal-03300534v1
|
|||
Control-based clause sharing in Parallel SATY. Hamadi, E. Monfroy, F. Saubion. Autonomous Search, Springer, pp.245-267, 2012
Chapitre d'ouvrage
hal-00870013v1
|
|||
About Neighborhood Substitutability in CSPsProceedings of the Third International Workshop on Symmetry in Constraint Satisfaction problems (SymCon'2003), 2003, Kinsale, County Cork, Ireland. pp.41-45
Communication dans un congrès
hal-03300274v1
|
|||
|
|
Recherche de la substituabilité par l'arc-cohérence de singletonCinquièmes Journées Francophones de Programmation par Contraintes, Jun 2009, Orléans, France. pp.385-395
Communication dans un congrès
hal-00390917v1
|
||
|
|
Subsumption dirigée par l'analyse de conflitsCinquièmes Journées Francophones de Programmation par Contraintes, Jun 2009, Orléans, France. pp.105-115
Communication dans un congrès
hal-00390913v1
|
||
|
|
Intégration partielle de la consistance de chemin dans la résolution des CSPJFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.385-389
Communication dans un congrès
inria-00293693v1
|