Open AccessPredicting Satisfiability at the Phase Transition
Author(s) -
Lin Xu,
Holger H. Hoos,
Kevin LeytonBrown
Publication year - 2021
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v26i1.8142
Subject(s) - satisfiability , conjecture , computer science , range (aeronautics) , decision tree , classifier (uml) , simple (philosophy) , binary number , binary classification , algorithm , mathematics , artificial intelligence , machine learning , discrete mathematics , philosophy , materials science , epistemology , support vector machine , composite material , arithmetic