Collaborated with:
V.Klebanov Alexander Weigl
Talks about:
probabilist (1) project (1) sound (1) sat (1)
Person: Jörg Weisbarth
DBLP: Weisbarth:J=ouml=rg
Contributed to:
Wrote 1 papers:
- QAPL-2016-KlebanovWW #probability #satisfiability
- Sound Probabilistic #SAT with Projection (VK, AW, JW), pp. 15–29.