Cited By
View all- Ibrahim AIbrahim AEl-Kharashi MSafar M(2024)Adaptive SAT Modeling for Optimal Pattern Retargeting in IEEE 1687 NetworksIEEE Transactions on Computers10.1109/TC.2023.333619873:2(536-547)Online publication date: 1-Feb-2024
- Osama MWijs ABiere A(2024)Certified SAT solving with GPU accelerated inprocessingFormal Methods in System Design10.1007/s10703-023-00432-z62:1-3(79-118)Online publication date: 1-Jun-2024
- Francès de Mas J(2024)Binary Implication Hypergraphs for the Representation and Simplification of Propositional FormulaeLogic-Based Program Synthesis and Transformation10.1007/978-3-031-71294-4_4(64-81)Online publication date: 9-Sep-2024
- Show More Cited By