“Beyond factorization Prof. Sebastiani emphasized the potential to extend the use of these devices beyond prime factorization, envisioning applications in encoding and checking the satisfiability of various circuits.
"We believe that quantum annealers can be used to encode and check the satisfiability of many other circuits of interest. Thus addressing the propositional satisfiability of Boolean circuits (SAT)—a far more general problem than prime factorization and allows for representing a variety of real-world problems," shared Prof. Sebastiani.” https://techxplore.com/news/2024-02-quantum-annealers-future-prime-factorization.html -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/E3A238EE-D225-4AE5-A9D9-43B4ADEB3040%40cin.ufpe.br.