16091 search results - page 205 / 3219 » Solving |
156
click to vote
ACTA
2007
15 years 4 months ago
2007
Abstract We propose an exact algorithm for counting the models of propositional formulas in conjunctive normal form (CNF). Our algorithm is based on the detection of strong backdoo...
83
Voted
AES
2010
Springer
15 years 4 months ago
2010
Springer
AI
2010
Springer
15 years 4 months ago
2010
Springer
136
click to vote
AI
2008
Springer
15 years 4 months ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
73
Voted
ALGORITHMICA
2010
15 years 4 months ago
2010
