Learning polarity from structure in SAT

• Authors:

• Bryan Silverthorn;Risto Miikkulainen

• Affiliations:

• Department of Computer Science, The University of Texas at Austin;Department of Computer Science, The University of Texas at Austin

• Venue:
• SAT'11 Proceedings of the 14th international conference on Theory and application of satisfiability testing
• Year:
• 2011