2067 search results - page 56 / 414 » Logics of propositional control |
155
click to vote
PPDP
2009
Springer
16 years 18 days 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...
182
Voted
LICS
2006
IEEE
16 years 2 days 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...
157
Voted
BSL
2008
15 years 6 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...