Login Help

journal = Automated Reasoning (1 entries)  Select: All None   Action: Show BibTeX

Bart Selman and Henry Kautz. 1993. An empirical study of greedy local search for satisfiability testing. Automated Reasoning, pp 46-51. [AI] google scholar

x$Id: bibtex.php,v 1.59 2021/01/12 08:36:11 dyuret Exp $   download