The Minimum Satisfiability Problem

From MaRDI portal
Publication:4296521


DOI10.1137/S0895480191220836zbMath0806.68060MaRDI QIDQ4296521

Ramesh Krishnamurti, Prakash Mirchandani, Rajeev Kohli

Publication date: 13 February 1995

Published in: SIAM Journal on Discrete Mathematics (Search for Journal in Brave)


68Q25: Analysis of algorithms and problem complexity


Related Items