11 search results - page 1 / 3 » Weighting strategy for non-clausal resolution |
JETAI
2008
15 years 18 days ago
2008
Abstract. This paper describes a proof search procedure for propositional nonclausal resolution based on a new weighting strategy that utilizes search methods for propositional sat...
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
In this paper, we study the image interpolation from the game theoretic perspective and formulate the image interpolation problem as an evolutionary game. In this evolutionary gam...
89
Voted
ICMCS
2009
IEEE
14 years 10 months ago
2009
IEEE
This paper presents a new directional image interpolator, aiming to increase image resolution with high perceptual quality and low computational complexity. In our method, missing...
129
Voted
SIAMJO
2002
15 years 8 days ago
2002
Given an undirected graph with positive weights on the vertices, the maximum weight clique problem (MWCP) is to find a subset of mutually adjacent vertices (i.e., a clique) having ...
150
click to vote
AI
2005
Springer
15 years 16 days ago
2005
Springer
Maximum Boolean satisfiability (max-SAT) is the optimization counterpart of Boolean satisfiability (SAT), in which a variable assignment is sought to satisfy the maximum number of...