Resolution search
From MaRDI portal
Publication:674925
DOI10.1016/S0166-218X(96)00003-0zbMath0869.90055MaRDI QIDQ674925
Publication date: 6 March 1997
Published in: Discrete Applied Mathematics (Search for Journal in Brave)
Full work available at URL: http://www.elsevier.com/locate/dam
branch-and-bound; satisfiability; implicit enumeration; resolution search; mixed zero-one linear programming problems