2067 search results - page 56 / 414 » Logics of propositional control |
106
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
124
click to vote
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
112
click to vote
BSL
2008
15 years 1 months ago
2008
The last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics. The paper discus...