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

Solving Weighted Max-SAT Problems in a Reduced Search Space..:

Pipatsrisawat, Knot ; Palyan, Akop ; Chavira, Mark...
Journal on Satisfiability, Boolean Modeling and Computation.  4 (2008)  2-4 - p. 191-217 , 2008
Link: https://doi.org/10.3233/sat190044