Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sima Jamali
Improving SAT Solver Performance With Structure-Based Preferential Bumping
Related publications
Versat: A Verified Modern SAT Solver
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Max-Sat Solver With Lazy Data Structures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Verified SAT Solver Framework With Learn, Forget, Restart, and Incrementality
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
MiniMaxSAT: An Efficient Weighted Max-Sat Solver
Journal of Artificial Intelligence Research
Artificial Intelligence
DSatz: A Directional SAT Solver for Planning
Improving Test Pattern Compactness in SAT-based ATPG
Tts: A SAT-Solver for Small, Difficult Instances
Journal on Satisfiability, Boolean Modeling and Computation
Unsatisfiability Proofs for Parallel SAT Solver Portfolios With Clause Sharing and Inprocessing
Extensions: Improving the Poisson Solver
