boolean satisfiability

32 papers

Explore in graph

Also known as

SAT

Co-occurring keywords

sat solver (78) constraint satisfaction (293) combinatorial optimization (1039) local search (98) graph neural network (3945) constraint solving (39) computational complexity (399) automated reasoning (122) satisfiability solving (12) gradient descent (1143)

Papers

Constraint-based Learning of Phonological Processes IJCNLP 2019

Seeking Practical CDCL Insights from Theoretical SAT Benchmarks IJCAI 2018

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

The DNA Word Design Problem: A New Constraint Model and New Results IJCAI 2017

Perceptron Learning of SAT NIPS 2012

Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints NIPS 2006