Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Actes JFPC 2008 Importance de la semantique dans
 

Summary: Actes JFPC 2008
Importance de la sŽemantique dans
le codage CNF de contraintes de cardinalitŽe :
application au diagnostic de SED
Anbulagan Alban Grastien
NICTA et Australian National University
Canberra, Australia
{anbulagan|alban.grastien}@nicta.com.au
RŽesumŽe
Le codage d'un probl`eme a un impact Ženorme sur
le temps de calcul en SAT : un solveur SAT peut rŽe-
soudre tr`es facilement un probl`eme codŽe d'une certaine
mani`ere, et Žeprouver des difficultŽes pour le m^eme pro-
bl`eme codŽe d'une autre mani`ere. Pire, un codage peut
favoriser le temps de calcul d'un solveur, et se montrer
au contraire inadaptŽe pour un autre solveur. Dans cet
article, nous nous concentrons sur l'expression en CNF
de contraintes de cardinalitŽe : Žetant donnŽe un ensemble
V de variables propositionelles, Žetant donnŽee une valeur
enti`ere k, exactement k variables de V doivent ^etre Ževa-

  

Source: Anbulagan, A. - National ICT Australia & Computer Sciences Laboratory, Australian National University

 

Collections: Computer Technologies and Information Sciences