Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mathias Fleury
A Verified SAT Solver Framework With Learn, Forget, Restart, and Incrementality
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
Efficient Verified (UN)SAT Certificate Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Learn With SAT to Minimize Büchi Automata
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
DSatz: A Directional SAT Solver for Planning
Improving SAT Solver Performance With Structure-Based Preferential Bumping
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
MiniMaxSAT: An Efficient Weighted Max-Sat Solver
Journal of Artificial Intelligence Research
Artificial Intelligence
