Results 281 to 290 of about 246,520 (298)

Algebraic Attacks Using SAT-Solvers

Groups, Complexity, Cryptology, 2010
Martin Kreuzer
exaly  

Experimenting with SAT Solvers in Vampire.

2014
Armin Biere, Ioan Dragan, Laura Kovács, Andrei Voronkov   +3 more
openaire   +2 more sources

Optimizing S-Box Implementations for Several Criteria Using SAT Solvers

Lecture Notes in Computer Science, 2016
exaly  

A Reconfigurable, Pipelined, Conflict Directed Jumping Search SAT Solver

2011
Mona Safar, Mohamed Watheq El-Kharashi, Ashraf Salem   +2 more
exaly  

ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers

Artificial Intelligence, 2004
Fangzhen Lin
exaly  

Implementing an Efficient SAT Solver for Structured Instances

2019
Md Masbaul Alam Polash
exaly  

Integrating a SAT Solver With an LCF-Style Theorem Prover

Electronic Notes in Theoretical Computer Science, 2006
exaly  

Dynamic Polarity Adjustment in a Parallel SAT Solver

2011
Jean-Marie Lagniez
exaly  

X-SAT: An Efficient Circuit-Based SAT Solver

2025 62nd ACM/IEEE Design Automation Conference (DAC)
Yuhang Qian, Zhihan Chen, Xindi Zhang, Shaowei Cai 0001   +3 more
openaire   +1 more source

Amoeba-Inspired Hardware SAT Solver With Effective Feedback Control

2019
Masashi Aono, Yuko Hara-Azumi, Anh Hoang Ngoc Nguyen   +2 more
exaly