About some UP-based polynomial fragments of SAT
Crossref DOI link: https://doi.org/10.1007/s10472-015-9452-z
Published Online: 2015-04-08
Published Print: 2017-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Al-Saedi, Balasim
Fourdrinoy, Olivier
Grégoire, Éric
Mazure, Bertrand
Saïs, Lakhdar
Text and Data Mining valid from 2015-04-08