Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: improving sat - solving with machine learning .
SATzilla: Portfolio-based Algorithm Selection for SAT
Satisfiability Solvers
Hard and Easy Distributions of SAT Problems
Stochastic local search for satisfiability modulo theories
Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach
Sudoku as a SAT Problem
Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem
Approximation Strategies for Incomplete MaxSAT
Configuration Checking with Aspiration in Local Search for SAT
A Dynamic Approach for MPE and Weighted MAX-SAT
CAMA: A Multi-Valued Satisfiability Solver
A duality between clause width and clause density for SAT
Simple algorithm portfolio for SAT
Extending SAT Solvers to Cryptographic Problems
boolean satifiability and beyond : algorithms , analysis , and ai applications .
Solving the all-interval series problem: SAT vs CP
Reactive Dialectic Search Portfolios for MaxSAT.
sat versus unsat .
Planning as Satisfiability: Heuristics
Minion: A Fast Scalable Constraint Solver
Wells’ score for early prehospital screening of pulmonary embolism
Prostate cancer cell death produced by the co-delivery of Bcl-xL shRNA and doxorubicin using an aptamer-conjugated polyplex
New Techniques that Improve MACE-style Finite Model Finding
Performance Evaluation ofBridgeless PFC BoostRectifiers
Factors influencing enterprise to improve data quality in information systems application —An empirical research on 185 enterprises through field study