Sign Up to like & get
recommendations!
0
Published in 2025 at "IEEE Access"
DOI: 10.1109/access.2025.3631582
Abstract: The relation between answer set programming (ASP) and combinatorial problems, especially the satisfiability problem (SAT), has attracted significant interest in the academic literature. This paper aims to introduce an efficient quantum answer set programming solver…
read more here.
Keywords:
quantum answer;
programming solver;
answer set;
efficient quantum ... See more keywords