Satisfiability on mixed instances

From MaRDI portal
Publication:2800587