[ACM Press the conference - Munich, Germany (1999..-..)] Proceedings of the conference on Design, automation and test in Europe - DATE '99 - Algorithms for solving Boolean satisfiability in combinational circuits
Guerra e Silva, Luís, Silveira, L. Miguel, Marques-Silva, JoöaYear:
1999
Language:
english
DOI:
10.1145/307418.307557
File:
PDF, 37 KB
english, 1999