Search - Université d'Artois Access content directly

Filter your results

14 Results
authIdHal_s : anneparrain

Source-to-source Prolog program compression

Ph. Devienne , Anne Parrain , P. Taillibert , S. Varennes
Proc. of the 1998 Joint Intl. Conf. and Symp. of Logic Programming (JICSLP-98), 1998, Manchester, Unknown Region. pp.205-219
Conference papers hal-03301110v1
Image document

Calcul de solutions équilibrées Pareto-optimales : application au problème de gestion de dépendances logicielles

Daniel Le Berre , Emmanuel Lonca , Pierre Marquis , Anne Parrain
Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France
Conference papers hal-00829567v1

Prolog program transformations and meta-interpreters

Anne Parrain , Ph. Devienne , P Lebègue
Logic Program Synthesis and Transformation 1991, 1991, Manchester, Unknown Region. pp.238-251
Conference papers hal-03301112v1

Unfolding and aggregating transformations of real Prolog programs

J.-F. Rabaute , Ph. Devienne , Anne Parrain , S. Varennes , P. Taillibert
Proc. of the ILPS97 Post-Workshop on Specialization and Declarative Programs and its Applications, 1997, New York, USA, Unknown Region
Conference papers hal-03301113v1

The long way from conflict driven clause learning to conflict driven constraint learning

Daniel Le Berre , Anne Parrain , Olivier Roussel
Guangzhou Symposium on Satisfiability and its applications (Guangzhou04), 2004, Guangzhou, China
Conference papers hal-03300804v1
Image document

On SAT Technologies for dependency management and beyond

Daniel Le Berre , Anne Parrain
First Workshop on Software Product Lines (ASPL'08), 2008, Limerick, Ireland. pp.197-200
Conference papers hal-00870846v1
Image document

The SAT4J library, Release 2.2, System Description

Daniel Le Berre , Anne Parrain
Journal on Satisfiability, Boolean Modeling and Computation, 2010, 7, pp.59-64. ⟨10.3233/SAT190075⟩
Journal articles hal-00868136v1
Image document

Optimisation multicritère pour la gestion de dépendances logicielles : utilisation de la norme de Tchebycheff

Daniel Le Berre , Emmanuel Lonca , Pierre Marquis , Anne Parrain
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3
Conference papers hal-00656571v1
Image document

Compressing UNSAT Search Trees with Caching

Anthony Blomme , Daniel Le Berre , Anne Parrain , Olivier Roussel
ICAART 2023 : 15th International Conference on Agents and Artificial Intelligence, Feb 2023, Lisbonne, Portugal
Conference papers hal-04015616v1
Image document

À propos de l'extension d'un solveur SAT pour traiter des contraintes pseudo-booléennes

Daniel Le Berre , Anne Parrain
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France
Conference papers inria-00151038v1

Smallest Horn Clause Programs

Ph. Devienne , P Lebègue , Anne Parrain , J.-C. Routier , J Würtz
Jounal of Logic Programming, 1996, 27 (3), pp.227-267
Journal articles hal-03301109v1

Méta-interprétation et transformations de programmes logiques

Anne Parrain
Journées Francophones de Programmation en Logique 1994, 1994, Bordeaux, Région indéterminée. pp.77-91
Conference papers hal-03301114v1

On extending SAT solvers for PB problems

Daniel Le Berre , Anne Parrain
14th RCRA workshop Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion(RCRA07, Jul 2007, Rome, Italy
Conference papers hal-00466227v1

Toward optimization of full Prolog programs guided by abstract interpretation

Anne Parrain , Ph. Devienne , P Lebègue
Logic Program Synthesis and Transformation 1992, 1992, Manchester, Unknown Region. pp.228-241
Conference papers hal-03301111v1