Skip to content
conftrace_

boolean satisfiability

34 papers

Explore in graph

Co-occurring keywords · papers mentioning both

sat solver (9) constraint satisfaction (8) combinatorial optimization (5) local search (4) graph neural network (3) constraint solving (2) computational complexity (2) automated reasoning (2) satisfiability solving (2) gradient descent (2)

Papers

Learning Local Search Heuristics for Boolean Satisfiability NeurIPS 2019 Phase Transition Behavior of Cardinality and XOR Constraints IJCAI 2019 Formal Analysis of Deep Binarized Neural Networks IJCAI 2018 Planning in Factored State and Action Spaces with Learned Binarized Neural Network Transition Models IJCAI 2018 Seeking Practical CDCL Insights from Theoretical SAT Benchmarks IJCAI 2018 The DNA Word Design Problem: A New Constraint Model and New Results IJCAI 2017 Perceptron Learning of SAT NeurIPS 2012 CPR for CSPs: A Probabilistic Relaxation of Constraint Propagation NeurIPS 2007 Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints NeurIPS 2006