vix.ing · top · new · best · stats · spec

Stochastic Boolean Satisfiability

2001/10/01 by Michael L. Littman, Stephen M. Majercik, Toniann Pitassi
Computer Science · Mathematics · #Algorithm #Artificial intelligence #Bayesian Modeling and Causal Inference #Boolean satisfiability problem #Computer science #Constraint Satisfaction and Optimization #Domain (mathematical analysis) #Inference #Intersection (aeronautics) #Logic, Reasoning, and Knowledge #Mathematics #Probabilistic logic #Satisfiability #Theoretical computer science

paper · doi:10.1023/a:1017584715408

crossref issued 2001/10/01 · crossref published 2001/10/01 · crossref published-print 2001/10/01 · openalex publication_date 2001/10/01 · crossref created 2002/12/29 · openalex created_date 2016/06/24 · crossref deposited 2025/06/05 · openalex updated_date 2026/07/23 · crossref indexed 2026/08/04

Citations