Regular-SAT: A many-valued approach to solving combinatorial problems

From MaRDI portal
Publication:2643307