Filter your results
- 8
- 6
- 12
- 2
- 14
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 4
- 14
- 1
- 14
- 8
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
|
|
sorted by
|
Source-to-source Prolog program compressionProc. of the 1998 Joint Intl. Conf. and Symp. of Logic Programming (JICSLP-98), 1998, Manchester, Unknown Region. pp.205-219
Conference papers
hal-03301110v1
|
|||
|
Calcul de solutions équilibrées Pareto-optimales : application au problème de gestion de dépendances logiciellesHuitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France
Conference papers
hal-00829567v1
|
||
Prolog program transformations and meta-interpretersLogic Program Synthesis and Transformation 1991, 1991, Manchester, Unknown Region. pp.238-251
Conference papers
hal-03301112v1
|
|||
Unfolding and aggregating transformations of real Prolog programsProc. 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 learningGuangzhou Symposium on Satisfiability and its applications (Guangzhou04), 2004, Guangzhou, China
Conference papers
hal-03300804v1
|
|||
|
On SAT Technologies for dependency management and beyondFirst Workshop on Software Product Lines (ASPL'08), 2008, Limerick, Ireland. pp.197-200
Conference papers
hal-00870846v1
|
||
|
The SAT4J library, Release 2.2, System DescriptionJournal on Satisfiability, Boolean Modeling and Computation, 2010, 7, pp.59-64. ⟨10.3233/SAT190075⟩
Journal articles
hal-00868136v1
|
||
|
Optimisation multicritère pour la gestion de dépendances logicielles : utilisation de la norme de TchebycheffRFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3
Conference papers
hal-00656571v1
|
||
|
Compressing UNSAT Search Trees with CachingICAART 2023 : 15th International Conference on Agents and Artificial Intelligence, Feb 2023, Lisbonne, Portugal
Conference papers
hal-04015616v1
|
||
|
À propos de l'extension d'un solveur SAT pour traiter des contraintes pseudo-booléennesTroisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France
Conference papers
inria-00151038v1
|
||
Smallest Horn Clause ProgramsJounal of Logic Programming, 1996, 27 (3), pp.227-267
Journal articles
hal-03301109v1
|
|||
Méta-interprétation et transformations de programmes logiquesJourné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 problems14th 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 interpretationLogic Program Synthesis and Transformation 1992, 1992, Manchester, Unknown Region. pp.228-241
Conference papers
hal-03301111v1
|