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

Annals of Mathematics and Artificial Intelligence - Netherlands
doi 10.1007/s10472-016-9502-1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

A Continuous-Time MaxSAT Solver With High Analog Performance

Nature Communications
AstronomyGeneticsMolecular BiologyBiochemistryChemistryPhysics
2018English

On Modern Clause-Learning Satisfiability Solvers

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2009English

Reproducible Triangular Solvers for High-Performance Computing

2015English

Combining Symbolic Constraint Solvers on Algebraic Domains

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1994English

Highly Scalable Linear Solvers on Thousands of Processors.

2009English

Efficient Solvers for the Shallow Water Equations on a Sphere

ANZIAM Journal
2013English

Evaluation of Linear System Equations Solvers on Multicore Architectures

2018English

Performance Testing of Combinatorial Solvers With Isomorph Class Instances

2007English

Partial Weighted MaxSAT for Optimal Planning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy