Nom : Prénom : Projet :    

Nicolas PRCOVIC

Fiche d'information
Membre des projets : 
INCA (Inférence, Contraintes et Applications)
 
Maître de conférences
(Marseille Nord)
AMU
 
04.91.28.89.51
nicolasprcoviclsisorg
http://nprcovic.free.fr
 
LSIS - UMR CNRS 7296 Domaine Universitaire de Saint-Jérôme Avenue Escadrille Normandie-Niemen 13397 MARSEILLE CEDEX 20
 
Liste des publications


Revues répertoriées

AUTEUR / TITRE Code
1 Stéphane GRANDCOLAS - Laurent HENOCQUE - Nicolas PRCOVIC
"Un test de canonicité pour éliminer des configurations redondantes" , in : Journal Electronique d'Intelligence Artificielle (JEDAI), Vol. 2 (2)2004 
ACL
[bib]

Conférences internationales

AUTEUR / TITRE Code
1 Nicolas PRCOVIC
"Narrowing Extended Resolution" , Proc. of ICTAI 2012nov 2012 
ACTI
[bib]

[pdf]
2 Laurent HENOCQUE - Nicolas PRCOVIC
"Fast Canonical Configuration Generation and Filtering" , Proceedings of the twenty-second Conference on Artificial Intelligence Configuration Workshop, AAAI Press, pp. 7-12aou 2007 
ACTI
[bib]
3 Florent VERROUST - Nicolas PRCOVIC
"Solving symmetrical CSPs with an asymmetrical cost function" , The 18th IEEE International Conference on Tools with Artificial Intelligence2006 
ACTI
[bib]
4 Florent VERROUST - Nicolas PRCOVIC
"Solving Partially Symmetrical CSPs" , The Sixth International Workshop on Symmetry in Constraint Satisfaction Problems2006 
ACTI
[bib]
5 Nicolas PRCOVIC
"Extremal CSPs" , 11th International Conference on Principles and Practice of Constraint Programming - CP'05, pp. 807-8112005 
ACTI
[bib]
6 Laurent HENOCQUE - Mathias KLEINER - Nicolas PRCOVIC
"Advances in Polytime Isomorph Elimination for Configuration" , in : Springer, proceedings of Principles and Practice of Constraint Programming - CP 2005,, pp. 301-313, Sitges Barcelona, Spain2005 
ACTI
[bib]
7 Laurent HENOCQUE - Nicolas PRCOVIC
"Practically Handling Configuration Automorphisms" , proceedings of ICTAI 2004, The 16th IEEE Internatioanl Conference on Tools for Artificial Intelligence, Boca Raton, Floridanov 2004 
ACTI
[bib]
8 Nicolas PRCOVIC
"Tree Local Search" , Proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP-2003), pp. 935-9392003 
ACTI
[bib]
9 Stéphane GRANDCOLAS - Laurent HENOCQUE - Nicolas PRCOVIC
"A Canonicity Test for Configuration" , Proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP-2003), pp. 853-8572003 
ACTI
[bib]
10 Nicolas PRCOVIC - NEVEU B.
"Progressive {F}ocusing {S}earch" , Proceedings of the $15^{th}$ European Conference on Artificial Intelligence, pp. 126-130, Lyon2002 
ACTI
[bib]
11 Nicolas PRCOVIC - NEVEU B.
"Ensuring a Relevant Visiting Order of the Leaf Nodes During a Tree Search" , Principles and {P}ractice of Constraint Programming (CP'99), Vol. LNCS 1713, pp. 361-3741999 
ACTI
[bib]
12 P. K. NIELSEN - Nicolas PRCOVIC
"{P}arallel {O}ptimisation in the {SCOOP} {L}ibrary" , Second Workshop on Solving Combinatorial Optimization Problems in Parallel ({SCOOP'98}), Vol. LNCS 1388, pp. 452-4631998 
ACTI
[bib]

Conférences nationales

AUTEUR / TITRE Code
1 Nicolas PRCOVIC
"La résolution étendue étroite" , Huitièmes Journées Francophones deProgrammation par Contraintes, pp. 274-281mai 2012 
ACTN
[bib]
2 Nicolas PRCOVIC
"Résolution étendue et largeur de réfutation de formules SAT" , Septièmes Journées Francophones de Programmation par Contraintes, pp. 271-280jui 2011 
ACTN
[bib]

[pdf]
3 Nicolas PRCOVIC
"Réparation locale de formules SAT" , Actes des Journées Francophones de Programmation par Contraintes (JFPC'10), pp. 237-244jui 2010 
ACTN
[bib]
4 Laurent HENOCQUE - Nicolas PRCOVIC
"Génération rapide et filtrage de configurations canoniques" , Actes des troisièmes Journées Francophones de Programmation par Contraintes (JFPC'07), pp. 357-365jui 2007 
ACTN
[bib]
5 Florent VERROUST - Nicolas PRCOVIC
"Traitement des CSP partiellement symétriques" , Actes des Journées Francophones de Programmation par Contraintes (JFPC'06), pp. 347-356jui 2006 
ACTN
[bib]
6 Nicolas PRCOVIC
"Les CSP extremaux" , Premieres Journees Francophes de Programmation par Contraintes (JFPC'05), pp. 315-3242005 
ACTN
[bib]
7 Laurent HENOCQUE - Mathias KLEINER - Nicolas PRCOVIC
"Une procedure generale d'elimination d'isomorphismes pour les problemes de configuration" , Premieres Journees Francophones de Programmation par Contraintes (JFPC'05), pp. 335-3442005 
ACTN
[bib]
8 Laurent HENOCQUE - Nicolas PRCOVIC
"Exploiter les automorphismes des configurations" , Proceedings of the 10 ièmes journées Nationales sur la résolution pratique des problèmes NP-complets, JNPC'04, Angers, Francejui 2004 
ACTN
[bib]
9 Stéphane GRANDCOLAS - Laurent HENOCQUE - Nicolas PRCOVIC
"Un test de canonicité pour éliminer des configurations redondantes" , Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets (JNPC'03), pp. 145-1592003 
ACTN
[bib]
10 Nicolas PRCOVIC
"Quelques variantes de {LDS}" , VIII$^e$ Journées Nationales sur les Problèmes NP-Complets (JNPC'02), pp. 195-208, Nice2002 
ACTN
[bib]
11 Nicolas PRCOVIC
"Unification de la recherche arborescente avec la recherche locale" , $VII^e$ Journées Nationales sur les Problèmes NP-Complets ({JNPC'01})2001 
ACTN
[bib]
12 Nicolas PRCOVIC - NEVEU B.
"Recherche à focalisation progressive" , $VI^e$ Journées Nationales sur les Problèmes NP-Complets ({JNPC'00}), pp. 191-2042000 
ACTN
[bib]
13 Nicolas PRCOVIC - NEVEU B.
"Etude théorique sur les recherches entrelacée et à divergence limitée" , $V^e$ Journées Nationales sur les Problèmes NP-Complets ({JNPC'99}), pp. 85-941999 
ACTN
[bib]
14 Nicolas PRCOVIC - NEVEU B.
"Recherche arborescente restreinte à un sous-espace prometteur" , $IV^e$ Journées Nationales sur les Problèmes NP-Complets ({JNPC'98}), pp. 41-461998 
ACTN
[bib]

Conférences sans actes

AUTEUR / TITRE Code
1 Nicolas PRCOVIC
"Local repair of SAT formula refutations" , 7th Workshop on Local Search techniques in Constraint Satisfaction, pp. 75-88sep 2010 
COM
[bib]
2 Laurent HENOCQUE - Nicolas PRCOVIC
"Fast Canonical Configuration Generation and Filtering" , proceedings twenty-second Conference on Artificial Intelligence (AAAI-07) Configuration Workshop, pp. 1-62007 
COM
[bib]

Rapports de recherche

AUTEUR / TITRE Code
1 Stéphane GRANDCOLAS - Laurent HENOCQUE - Mathias KLEINER - Nicolas PRCOVIC
"Handling Configuration Isomorphisms - Extended research report, pp 1--37" (LSIS.RR.2008.005)jui 2008 
AP
[bib]
2 Stéphane GRANDCOLAS - Laurent HENOCQUE - Nicolas PRCOVIC
"Handling Configuration Isomorphisms" (LSIS.RR.2007.014)2007 
AP
[bib]