Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Josep Argelich

On the Performance of MaxSAT and MinSAT Solvers on 2sat-MaxOnes

Annals of Mathematics and Artificial Intelligence

Applied Mathematics

Artificial Intelligence

English

Related publications

A Continuous-Time MaxSAT Solver With High Analog Performance

Nature Communications

Molecular Biology

English

On Modern Clause-Learning Satisfiability Solvers

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English

Reproducible Triangular Solvers for High-Performance Computing

English

Combining Symbolic Constraint Solvers on Algebraic Domains

Journal of Symbolic Computation

Computational Mathematics

English

Highly Scalable Linear Solvers on Thousands of Processors.

English

Efficient Solvers for the Shallow Water Equations on a Sphere

English

Evaluation of Linear System Equations Solvers on Multicore Architectures

English

Performance Testing of Combinatorial Solvers With Isomorph Class Instances

English

Partial Weighted MaxSAT for Optimal Planning

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English