共 50 条
- [5] Efficient solution of systems of Boolean equations 1996 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, 1996, : 542 - 546
- [8] SYSTEMS OF PSEUDO-BOOLEAN EQUATIONS AND INEQUALITIES BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1964, 12 (11): : 673 - &