Author:
Selman Bart,Kautz Henry,Cohen Bram
Publisher
American Mathematical
Society
Cited by
122 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. SATformer: Transformer-Based UNSAT Core Learning;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28
2. Pattern QUBOs: Algorithmic Construction of 3SAT-to-QUBO Transformations;Electronics;2023-08-17
3. Local Search For Satisfiability Modulo Integer Arithmetic Theories;ACM Transactions on Computational Logic;2023-07-25
4. The Pancake Graph of Order 10 Is 4-Colorable;Proceedings of the 2023 6th International Conference on Mathematics and Statistics;2023-07-14
5. Machine Learning Methods in Solving the Boolean Satisfiability Problem;Machine Intelligence Research;2023-06-01