Skip to content
Log in
Sponsored Artificial Intelligence: A Modern Approach, Global Edition Artificial Intelligence: A Modern Approach, Global Edition

Author

Zishaan Ahmed

View on Semantic Scholar

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#graph neural networks Open access Sep 2026

A Hybrid Learning Framework for Automated SAT Solver Selection

Boolean Satisfiability (SAT) solving underlies a wide range of practical applications, including hardware verification, software testing, automated planning, and combinatorial design. Decades of engineering effort have produced highly optimised Conflict-Driven Clause Learning (CDCL) solvers, yet empirical studies consi...

Zishaan Ahmed, T. K. M. Lee · 0 citations
#graph neural networks Open access Sep 2026

A Hybrid Learning Framework for Automated SAT Solver Selection

Boolean Satisfiability (SAT) solving underlies a wide range of practical applications, including hardware verification, software testing, automated planning, and combinatorial design. Decades of engineering effort have produced highly optimised Conflict-Driven Clause Learning (CDCL) solvers, yet empirical studies consi...

Zishaan Ahmed, T. K. M. Lee · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.