Sign in
Xinkai Feng
Publication Activity (10 Years)
Years Active: 2004-2004
Publications (10 Years): 0
</>
Publications
</>
Malek Mouhoub
,
Samira Sadaoui
,
Xinkai Feng
A New Branch and Bound Method for Incremental Satisfiability Problem.
International Conference on Computational Intelligence
(2004)