Exact Max-SAT solvers for over-constrained problems

ISSN： 1381-1231

Source： Journal of Heuristics, Vol.12, Iss.4-5, 2006-09, pp. : 375-392

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Resolution-based lower bounds in MaxSAT

By Li Chu

Constraints, Vol. 15, Iss. 4, 2010-10 ,pp. : 456-484

Springer Publishing Company

Access to resources Recommend Favorite

Methods for the Reduction of Odometry Errors in Over-Constrained Mobile Robots

By Ojeda Lauro

Autonomous Robots, Vol. 16, Iss. 3, 2004-05 ,pp. : 273-286

Springer Publishing Company

Access to resources Recommend Favorite

A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers

By Jurkowiak Bernard Li Chu Utard Gil

Journal of Automated Reasoning, Vol. 34, Iss. 1, 2005-01 ,pp. : 73-101

Springer Publishing Company

Access to resources Recommend Favorite

Fast and Exact (Poisson) Solvers on Symmetric Geometries

COMPUTER GRAPHICS FORUM (ELECTRONIC), Vol. 34, Iss. 5, 2015-08 ,pp. : 153-165

John Wiley & Sons Inc

Access to resources Recommend Favorite

Exact Penalty Functions for Constrained Minimization Problems via Regularized Gap Function for Variational Inequalities

By Li Wu Peng Jiming

Journal of Global Optimization, Vol. 37, Iss. 1, 2007-01 ,pp. : 85-94

Springer Publishing Company

Access to resources Recommend Favorite