Satune: synthesizing efficient SAT encoders-Reference-Cited by-同舟云学术

Satune: synthesizing efficient SAT encoders

Published:2020-11-13 Issue:OOPSLA Volume:4 Page:1-32
ISSN:2475-1421
Container-title:Proceedings of the ACM on Programming Languages
language:en
Short-container-title:Proc. ACM Program. Lang.

Author:

Gorjiara Hamed¹,Xu Guoqing Harry²,Demsky Brian¹

Affiliation:

1. University of California at Irvine, USA

2. University of California at Los Angeles, USA

Funder

Office of Naval Research

National Science Foundation

Publisher

Association for Computing Machinery (ACM)

Subject

Safety, Risk, Reliability and Quality,Software

Link

https://dl.acm.org/doi/pdf/10.1145/3428214

Reference105 articles.

1. Translating Pseudo-Boolean Constraints into CNF

2. Encoding Linear Constraints into SAT

3. Airobert. 2016. SAT Based Killer Sudoku. https://github.com/UvA-KR16/KilerSudoku Airobert. 2016. SAT Based Killer Sudoku. https://github.com/UvA-KR16/KilerSudoku

4. Taufan Ardi. 2015. SAT Based Sudoku Solver in Python. https://github.com/taufanardi/sudoku-sat-solver Taufan Ardi. 2015. SAT Based Sudoku Solver in Python. https://github.com/taufanardi/sudoku-sat-solver

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Static Analysis of Memory Models for SMT Encodings;Proceedings of the ACM on Programming Languages;2023-10-16

2. Scalable Optimal Layout Synthesis for NISQ Quantum Processors;2023 60th ACM/IEEE Design Automation Conference (DAC);2023-07-09

3. Coupling Different Integer Encodings for SAT;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2022