Results 211 to 220 of about 12,229,216 (240)

A Polynomial Algorithm for Constructing a Large Bipartite Subgraph, with an Application to a Satisfiability Problem

Canadian Journal of Mathematics - Journal Canadien de Mathematiques, 1982
S. Poljak, D. Turzík
semanticscholar   +1 more source

New 3/4-Approximation Algorithms for the Maximum Satisfiability Problem

SIAM Journal on Discrete Mathematics, 1994
M. Goemans, David P. Williamson
semanticscholar   +1 more source

Probabilistic analysis of the pure literal heuristic for the satisfiability problem

Annals of Operations Research, 1984
J. Franco
semanticscholar   +1 more source

Solving the Minimum-Cost Satisfiability Problem Using SAT Based Branch-and-Bound Search

IEEE/ACM International Conference on Computer-Aided Design, 2006
Z. Fu, S. Malik
semanticscholar   +1 more source

JaCk-SAT: A New Parallel Scheme to Solve the Satisfiability Problem (SAT) Based on Join-and-Check

Parallel Processing and Applied Mathematics, 2007
Daniel Singer, A. Monnet
semanticscholar   +1 more source

Prediction models in cancer care

Ca-A Cancer Journal for Clinicians, 2011
Andrew J Vickers
exaly  

Cooperation of Decision Procedures for the Satisfiability Problem

International Symposium on Frontiers of Combining Systems, 1996
C. Ringeissen
semanticscholar   +1 more source

Algorithms for the maximum satisfiability problem

Computing, 1987
P. Hansen, B. Jaumard
semanticscholar   +1 more source

Cancer statistics in China, 2015

Ca-A Cancer Journal for Clinicians, 2016
Rongshou Zheng, Peter D Baade, Siwei Zhang   +2 more
exaly  

A problem of practice

Nature Reviews Materials, 2021
exaly