I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Generalized Probabilistic Satisfiability:

Caleiro, Carlos ; Casal, Filipe ; Mordido, Andreia
Electronic Notes in Theoretical Computer Science.  332 (2017)  - p. 39-56 , 2017
Link: https://doi.org/10.1016/j.entcs.2017.04.004