Publisher
Springer International Publishing
Reference159 articles.
1. Achlioptas D, Ricci-Tersenghi F (2009) Random formulas have frozen variables. SIAM J Comput 39(1):260–280
2. Armoni R, Egorov S, Fraer R, Korchemny D, Vardi M (2005) Efficient LTL compilation for SAT-based model checking. In: Proceedings of the 2005 IEEE/ACM international conference on computer-aided design, pp 877–884
3. Audemard G, Simon L (2007) GUNSAT: a greedy local search algorithm for unsatisfiability. In: IJCAI’07: proceedings of the 20th international joint conference on artifical intelligence. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp 2256–2261
4. Audemard G, Simon L (2009) Predicting learnt clauses quality in modern SAT solvers. In: Proceedings of international joint conference on artificial intelligence (IJCAI), pp 399–404
5. Audemard G, Simon L (2014) Lazy clause exchange policy for parallel SAT solvers. In: International conference on theory and applications of satisfiability testing (SAT), pp 197–205