Recherche - Archive ouverte HAL

102 résultats

	Pour les 102 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page : Page précédente 1 2 3 4 Page suivante	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Boosting MUC extraction in unsatisfiable constraint networks Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure Applied Intelligence, 2014, 41 (4), pp.1012-1023 Article dans une revue hal-03300434v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Extracting MUSes Eric Gregoire , Bertrand Mazure , Cedric Piette Aug 2006, pp.387-391 Communication dans un congrès hal-00110099v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Multiple Contraction through Partial-Max-SAT Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure 26th International Conference on Tools with Artificial Intelligence (ICTAI'14), 2014, Limassol, Cyprus. pp.321-327 Communication dans un congrès hal-03300485v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Computing prime implicants David Deharbe , Pascal Fontaine , Daniel Le Berre , Bertrand Mazure 13th International Conference on Formal Methods in Computer-Aided Design (FMCAD'13), Oct 2013, Portland, Oregon, United States. pp.46-52, ⟨10.1109/FMCAD.2013.6679390⟩ Communication dans un congrès hal-03300802v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		MUST et couvertures de MUST pour l'explication et la réparation de CSP Éric Grégoire , Bertrand Mazure , Cédric Piette Revue I3 - Information Interaction Intelligence, 2008, 8 (2), pp.181-202 Article dans une revue hal-00869772v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Local-search Extraction of MUSes Éric Grégoire , Bertrand Mazure , Cédric Piette Constraints, 2007, 12 (3), pp.325-344. ⟨10.1007/s10601-007-9019-7⟩ Article dans une revue istex hal-03987157v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases Bertrand Mazure , Lakhdar Saïs , Éric Grégoire Proceedings International Joint Conference on Qualitative and Quantitative Practical Reasoning, 1997, Bad Honnef, Germany. pp.122-130 Communication dans un congrès hal-03300532v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		SUN : a Multistrategy Platform for SAT Bertrand Mazure , Lakhdar Saïs , Éric Grégoire Proc. First Int. Competition and Symposium on Satisfiability Testing, 1996, Beijing, Unknown Region Communication dans un congrès hal-03300533v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Integrating Conflict Driven Clause Learning to Local Search Gilles Audemard , Jean-Marie Lagniez , Bertrand Mazure , Lakhdar Saïs 6th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09), 2009, Lisbonne, Portugal Communication dans un congrès hal-00870858v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		RCL: Reduce learnt clauses Gilles Audemard , Jean-Marie Lagniez , Bertrand Mazure , Lakhdar Saïs 2013 Rapport hal-00872811v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Prédire et expliquer les retards au décollage : Une étude de cas à l'aéroport international de Paris-Charles de Gaulle Thibault Falque , Bertrand Mazure , Karim Tabia 23ème conférence francophone sur l'extraction et la gestion des connaissances (EGC 2023), Jan 2023, Lyon, France Communication dans un congrès hal-03986652v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations Ryma Boumazouza , Fahima Cheikh-Alili , Bertrand Mazure , Karim Tabia CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Nov 2021, Virtual Event Queensland Australia, Australia. pp.120-129, ⟨10.1145/3459637.3482321⟩ Communication dans un congrès hal-03614106v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Does this set of clauses overlap with at least one MUS ? Éric Grégoire , Bertrand Mazure , Cédric Piette 22nd International Conference on Automated Deduction (CADE 22), 2009, Montreal, Canada. pp.100-115 Communication dans un congrès hal-00870757v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Using Local Search to Find \MSSes and MUSes Éric Grégoire , Bertrand Mazure , Cédric Piette European Journal of Operational Research, 2009, 199 (3), pp.640-648 Article dans une revue hal-00868114v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		MUST et couvertures de MUST pour l'explication et la réparation de CSP incohérents au niveau tuple Éric Grégoire , Bertrand Mazure , Cédric Piette Revue I3 - Information Interaction Intelligence, 2008, 8 (2), pp.181-202 Article dans une revue hal-00800651v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Predicting off-block delays: A case study at Paris-Charles de Gaulle International Airport Thibault Falque , Bertrand Mazure , Karim Tabia 15th International Conference on Agents and Artificial Intelligence (ICAART 2023), Feb 2023, Lisbonne, Portugal. pp.180-189 Communication dans un congrès hal-03986693v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT Mohammad Al-Saedi , Éric Grégoire , Bertrand Mazure , Lakhdar Saïs 26th International Conference on Tools with Artificial Intelligence (ICTAI'14), 2014, Limassol, Cyprus. pp.446-452 Communication dans un congrès hal-03300486v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Heuristique d'ordonnancement des variables pour SAT Olivier Fourdrinoy , Éric Grégoire , Bertrand Mazure , Lakhdar Saïs Congrès de la Société Française de Recherche Opérationelle et d'Aide à la Décision (ROADEF'06), 2006, lille, Région indéterminée Communication dans un congrès hal-03300592v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Boosting local search thanks to {CDCL} Gilles Audemard , Jean-Marie Lagniez , Bertrand Mazure , Lakhdar Saïs 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'10), 2010, Yogyakarta, Indonesia. pp.474-488 Communication dans un congrès hal-00865508v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A comparison of two approaches to inconsistency detecting Bertrand Mazure , Lakhdar Saïs , Éric Grégoire Proceedigns of the European Symposium on Intelligent Techniques (ESIT'97), 1997, Bari, Unknown Region Communication dans un congrès hal-03300531v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Dealing with Symmetries in Quantified Boolean Formulas Gilles Audemard , Bertrand Mazure , Lakhdar Saïs Proc. of the Seventh International Conference on Theory and Applications of Satisfiability Testing, 2004, Vancouver, Canada. pp.257-262 Communication dans un congrès hal-03299483v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Analyse de conflits dans le cadre de la recherche locale Gilles Audemard , Jean-Marie Lagniez , Bertrand Mazure , Lakhdar Saïs Cinquièmes Journées Francophones de Programmation par Contraintes, Jun 2009, Orléans, France. pp.215-225 Communication dans un congrès hal-00390909v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		LSAT Solver v2.0 Richard Ostrowski , Bertrand Mazure , Lakhdar Saïs [Technical Report] Centre de Recherche en Informatique de Lens. 2003 Rapport hal-03300994v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Data Structure Boosting The Performance of Local Search For CSP Solving Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure International Conference on Metaheuristics and Nature Inspired Computing (META'12), 2012, Port El-Kantaoui, Tunisia Communication dans un congrès hal-00870938v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A General Artificial Intelligence Approach for Skeptical Reasoning Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure 7th Conference on Artificial General Intelligence (AGI'14), 2014, Québec, Canada. pp.33-42 Communication dans un congrès hal-03300483v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		An Experimentally Efficient Method for (MSS, CoMSS) Partitioning Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure 28th Conference on Artificial Intelligence (AAAI'14), 2014, Québec, Canada. pp.2666-2673 Communication dans un congrès hal-03300482v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Combinaison de nogoods extraits au redémarrage Gael Glorian , Frédéric Boussemart , Jean-Marie Lagniez , Christophe Lecoutre , Bertrand Mazure 13è Journées Francophone de Programmation par Contraintes (JFPC'17), 2017, Montreuil-sur-mer, France. pp.55--64 Communication dans un congrès hal-03300251v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Descente Agressive de Borne en Optimisation sous Contraintes Thibault Falque , Christophe Lecoutre , Bertrand Mazure , Hugues Wattez 16èmes Journées Francophones de Programmation par Contraintes (JFPC'21), Jun 2021, Nice, France Communication dans un congrès hal-03625476v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Suppression de clauses redondantes dans des instances de SAT Olivier Fourdrinoy , Eric Grégoire , Bertrand Mazure , Lakhdar Saïs Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France Communication dans un congrès inria-00151033v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		An efficient technique to ensure the logical consistency of cooperative agents Bertrand Mazure , Lakhdar Saïs , Éric Grégoire International Journal of Cooperative Information Systems, 1997, 6 (1), pp.27-36 Article dans une revue hal-03300443v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats

Boosting MUC extraction in unsatisfiable constraint networks

Extracting MUSes

Multiple Contraction through Partial-Max-SAT

Computing prime implicants

MUST et couvertures de MUST pour l'explication et la réparation de CSP

Local-search Extraction of MUSes

Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases

SUN : a Multistrategy Platform for SAT

Integrating Conflict Driven Clause Learning to Local Search

RCL: Reduce learnt clauses

Prédire et expliquer les retards au décollage : Une étude de cas à l'aéroport international de Paris-Charles de Gaulle

ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations

Does this set of clauses overlap with at least one MUS ?

Using Local Search to Find \MSSes and MUSes

MUST et couvertures de MUST pour l'explication et la réparation de CSP incohérents au niveau tuple

Predicting off-block delays: A case study at Paris-Charles de Gaulle International Airport

Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT

Heuristique d'ordonnancement des variables pour SAT

Boosting local search thanks to {CDCL}

A comparison of two approaches to inconsistency detecting

Dealing with Symmetries in Quantified Boolean Formulas

Analyse de conflits dans le cadre de la recherche locale

LSAT Solver v2.0

A Data Structure Boosting The Performance of Local Search For CSP Solving

A General Artificial Intelligence Approach for Skeptical Reasoning

An Experimentally Efficient Method for (MSS, CoMSS) Partitioning

Combinaison de nogoods extraits au redémarrage

Descente Agressive de Borne en Optimisation sous Contraintes

Suppression de clauses redondantes dans des instances de SAT

An efficient technique to ensure the logical consistency of cooperative agents