
Merging the local and global approaches to probabilistic satisfiability
Pierre Hansen, Sylvain PerronVolume:
47
Année:
2008
Langue:
english
Pages:
16
DOI:
10.1016/j.ijar.2007.03.001
Fichier:
PDF, 375 KB
english, 2008