Login with OpenID | Report issues

 

Author: Toniann Pitassi [RDF, Bibtex, BibBase, BibGraph] has 9 publications

report error (So far 0 user(s) reported errors on this item)

See also:


Solving \#SAT and Bayesian Inference with Backtracking Search Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi. J. Artif. Intell. Res. (JAIR) 391-442 2009


Clause Learning Can Effectively P-Simulate General Propositional Resolution Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder. Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-2008) 283-290 2008


Clause Learning Can Effectively P-Simulate General Propositional Resolution Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder. Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence AAAI 2008 Chicago Illinois USA July 13-17 2008 283-290 2008


Combining Component Caching and Clause Learning for Effective Model Counting Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi. SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing 10-13 May 2004 Vancouver BC Canada Online Proceedings 2004


Algorithms and Complexity Results for \#SAT and Bayesian Inference Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi. Proceedings of the 44th Symposium on Foundations of Computer Science (FOCS-2003) 340-351 2003


Value Elimination: Bayesian Inference via Backtracking Search Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi. Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence August (UAI-2003) 20-28 2003


Value Elimination: Bayesian Inference via Backtracking Search Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi. UAI '03 Proceedings of the 19th Conference in Uncertainty in Artificial Intelligence August 7-10 2003 Acapulco Mexico 20-28 2003


DPLL with Caching: A new algorithm for \#SAT and Bayesian Inference Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi. Electronic Colloquium on Computational Complexity (ECCC) 2003


Algorithms and Complexity Results for \#SAT and Bayesian Inference Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi. 44th Symposium on Foundations of Computer Science (FOCS 2003) 11-14 October 2003 Cambridge MA USA Proceedings 340-351 2003