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

Inference methods for a pseudo-boolean satisfiability solve:

, In: Eighteenth national conference on Artificial intelligence,
Dixon, Heidi E. ; Ginsberg, Matthew L. - p. 635-640 , 2002
Link: https://dl.acm.org/doi/10.5555/777092.777190