Bernardo Rossi, Erhard Aichinger,
"On NP-complete search problems on ?nite algebras"
: 2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL), Seite(n) 137-142, 5-2024
Original Titel:
On NP-complete search problems on ?nite algebras
Sprache des Titels:
Englisch
Original Buchtitel:
2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL)
Original Kurzfassung:
We investigate under which structural assumptions on a ?nite algebra A the problem 3SAT with complexity
measure the number of clauses can be reduced to PolSat(A) in logarithmic space and with a linear growth of the problem size.