Author:
Brain Martin,Hadarean Liana,Kroening Daniel,Martins Ruben
Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Learning a Propagation Complete Formula;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2022
2. Satune: synthesizing efficient SAT encoders;Proceedings of the ACM on Programming Languages;2020-11-13
3. Abacus: A New Hybrid Encoding for SAT Problems;2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI);2020-11
4. A lower bound on CNF encodings of the at-most-one constraint;Theoretical Computer Science;2019-03
5. Building Better Bit-Blasting for Floating-Point Problems;Tools and Algorithms for the Construction and Analysis of Systems;2019