11949 search results - page 101 / 2390 » Some results on (a:b)-choosability |
SAT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We offer a new understanding of some aspects of practical SAT-solvers that are based on DPLL with unit-clause propagation, clause-learning, and restarts. On the theoreti...
120
click to vote
APBC
2003
15 years 2 months ago
2003
Predicting the three dimensional structure of proteins is a difficult task. In the last years several approaches have been proposed for performing this task taking into account d...
83
Voted
FUIN
2006
15 years 1 months ago
2006
In most models of computation, a device performs some type of process, and only some final output is regarded as the result. In adding an observer to such a device, one can obtain ...
122
click to vote
CG
2005
Springer
15 years 1 months ago
2005
Springer
A new algorithm for Boolean operations on general planar polygons is presented. It is available for general planar polygons (manifold or non-manifold, with or without holes). Edge...
120
click to vote
GRAMMARS
1998
15 years 26 days ago
1998
From the perspective of the linguist, the theory of formal languages serves as an abstract model to address issues such as complexity, learnability, information content, etc. which...