Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Teresa Alsinet
A Max-Sat Solver With Lazy Data Structures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
MiniMaxSAT: An Efficient Weighted Max-Sat Solver
Journal of Artificial Intelligence Research
Artificial Intelligence
Versat: A Verified Modern SAT Solver
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
SAT-Based Compositional Verification Using Lazy Learning
A Verified SAT Solver Framework With Learn, Forget, Restart, and Incrementality
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
Parametric RBAC Maintenance via Max-Sat
An Approximation Algorithm for MAX-2-SAT With Cardinality Constraint
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
