Results 171 to 180 of about 18,622 (181)

Comparative studies of constraint satisfaction and Davis-Putnam algorithms for maximum satisfiability problems

, 1996
Richard J. Wallace, Eugene C. Freuder
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

New Upper Bounds for Maximum Satisfiability

Journal of Algorithms, 2000
Rolf Niedermeier, Peter Rossmanith
exaly  

Hybrid genetic algorithm in the Hopfield network for maximum 2-satisfiability problem

, 2017
Mohd Shareduwan Mohd Kasihmuddin, Saratha Sathasivam, Mohd. Asyraf Mansor   +2 more
openalex   +1 more source

CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability

Artificial Intelligence, 2017
Chuan Luo, Shaowei Cai, Kaile Su
exaly  

Randomness in heuristics: An experimental investigation for the maximum satisfiability problem

Lecture Notes in Computer Science, 2006
exaly  

Simple Algorithm for Maximum Satisfiability Problem

openaire   +1 more source

Trap escaping strategies in discrete Lagrangian methods for solving hard satisfiability and maximum satisfiability problems

, 1999
Zhe Wu, Benjamin W. Wah
openalex  

Variable Neighbourhood Search for Maximum Weight Satisfiability Problem

, 2000
Pierre Hansen, Brigitte Jaumard, Nenad Mladenović, Anderson D. Parreira   +3 more
openalex  

A neural circuit for the maximum 2-satisfiability problem

Roberto Posenato
exaly  

Algorithms for the Maximum Satisfiability Problem

, 1987
Pierre Hansen, Brigitte Jaumard
openalex