11 search results - page 1 / 3 » Weighting strategy for non-clausal resolution |
JETAI
2008
13 years 4 months 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
12 years 8 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...
ICMCS
2009
IEEE
13 years 2 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...
SIAMJO
2002
13 years 4 months 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 ...
AI
2005
Springer
13 years 4 months 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...