Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by A. Oliveras
MiniMaxSAT: An Efficient Weighted Max-Sat Solver
Journal of Artificial Intelligence Research
Artificial Intelligence
Related publications
A Max-Sat Solver With Lazy Data Structures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Approximate Solution of Weighted MAX-SAT Problems Using GRASP
DIMACS Series in Discrete Mathematics and Theoretical Computer Science
Versat: A Verified Modern SAT Solver
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Efficient Multigrid Poisson Solver
International Journal of Computer Mathematics
Computational Theory
Applied Mathematics
Computer Science Applications
Mathematics
An Approximation Algorithm for MAX-2-SAT With Cardinality Constraint
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parametric RBAC Maintenance via Max-Sat
DSatz: A Directional SAT Solver for Planning
Complexity of Max-Sat Using Stochastic Algorithms
Tts: A SAT-Solver for Small, Difficult Instances
Journal on Satisfiability, Boolean Modeling and Computation
