About some UP-based polynomial fragments of SAT

From MaRDI portal
Revision as of 06:25, 30 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:513329

DOI10.1007/s10472-015-9452-zzbMath1404.68137OpenAlexW2062028302MaRDI QIDQ513329

Olivier Fourdrinoy, Balasim Al-Saedi, Bertrand Mazure, Éric Grégoire, Lakhdar Saïs

Publication date: 6 March 2017

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-015-9452-z





Uses Software


Cites Work


This page was built for publication: About some UP-based polynomial fragments of SAT