In this paper we are trying to answer the question of when economic sanctions have the best chance to succeed. Almost three hundred scholars from around the world participated in a survey designed to ...
Recent decades have witnessed remarkable progress in the study of Boolean satisfiability – the problem of determining whether a given propositional formula can be satisfied – and its natural extension ...
Bayardo Jr., R. J.; Schrag, R. C. Using CSP look-back techniques to solve real world SAT instances. In: Proc. of the 14th National Conf. on Artificial Intelligence ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback