Guiding High-Performance SAT Solvers with Unsat-Core Predictions

v1v2v3v4v5v6v7 (latest)

Guiding High-Performance SAT Solvers with Unsat-Core Predictions

12 March 2019

Nikolaj S. Bjørner

ArXiv (abs)PDF HTML

Papers citing "Guiding High-Performance SAT Solvers with Unsat-Core Predictions"

17 / 17 papers shown

Title
GamePad: A Learning Environment for Theorem Proving Daniel Huang Prafulla Dhariwal Basel Alomair Ilya Sutskever 96 110 0 02 Jun 2018
Learning to Branch Maria-Florina Balcan Travis Dick Tuomas Sandholm Ellen Vitercik 70 173 0 27 Mar 2018
Learning a SAT Solver from Single-Bit Supervision Daniel Selsam Matthew Lamm Benedikt Bünz Percy Liang L. D. Moura D. Dill NAI 92 424 0 11 Feb 2018
Ray: A Distributed Framework for Emerging AI Applications Philipp Moritz Robert Nishihara Stephanie Wang Alexey Tumanov Richard Liaw ... Melih Elibol Zongheng Yang William Paul Michael I. Jordan Ion Stoica GNN 105 1,266 0 16 Dec 2017
Premise Selection for Theorem Proving by Deep Graph Embedding Mingzhe Wang Yihe Tang Jian Wang Jia Deng 66 133 0 28 Sep 2017
RobustFill: Neural Program Learning under Noisy I/O Jacob Devlin J. Uesato Surya Bhupatiraju Rishabh Singh Abdel-rahman Mohamed Pushmeet Kohli 75 393 0 21 Mar 2017
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving C. Kaliszyk François Chollet Christian Szegedy 55 83 0 01 Mar 2017
Deep Network Guided Proof Search Sarah M. Loos G. Irving Christian Szegedy C. Kaliszyk AIMat 78 159 0 24 Jan 2017
Neuro-Symbolic Program Synthesis Emilio Parisotto Abdel-rahman Mohamed Rishabh Singh Lihong Li Dengyong Zhou Pushmeet Kohli NAI 111 322 0 06 Nov 2016
Google's Neural Machine Translation System: Bridging the Gap between Human and Machine Translation Yonghui Wu M. Schuster Zhiwen Chen Quoc V. Le Mohammad Norouzi ... Alex Rudnick Oriol Vinyals G. Corrado Macduff Hughes J. Dean AIMat 905 6,796 0 26 Sep 2016
Holophrasm: a neural Automated Theorem Prover for higher-order logic Daniel Whalen AIMat 79 50 0 08 Aug 2016
DeepMath - Deep Sequence Models for Premise Selection Alexander A. Alemi François Chollet N. Eén G. Irving Christian Szegedy Josef Urban LRM AIMat 73 229 0 14 Jun 2016
TensorFlow: A system for large-scale machine learning Martín Abadi P. Barham Jianmin Chen Zhiwen Chen Andy Davis ... Vijay Vasudevan Pete Warden Martin Wicke Yuan Yu Xiaoqiang Zhang GNN AI4CE 433 18,361 0 27 May 2016
Selecting the Selection Giles Reger Martin Suda A. Voronkov Krystof Hoder 42 42 0 27 Apr 2016
Adam: A Method for Stochastic Optimization Diederik P. Kingma Jimmy Ba ODL 2.0K 150,260 0 22 Dec 2014
Symbiosis of Search and Heuristics for Random 3-SAT S. Mijnders B. D. Wilde Marijn J. H. Heule 45 19 0 18 Feb 2014
SATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Frank Hutter Holger H. Hoos Kevin Leyton-Brown 98 975 0 31 Oct 2011