An Exhaustive DPLL Algorithm for Model Counting.
- Published in:
- Journal of Artificial Intelligence Research, 2018, v. 62, p. 1, doi. 10.1613/jair.1.11201
- By:
- Publication type:
- Article
Works matching IS 10769757 AND DT 2018 AND VI 62
Results: 6
1
2
Resource-Bounded Norm Monitoring in Multi-agent Systems.
- Published in:
- Journal of Artificial Intelligence Research, 2018, v. 62, p. 153, doi. 10.1613/jair.1.11206
- By:
- Publication type:
- Article
3
A COP Model for Graph-Constrained Coalition Formation.
- Published in:
- Journal of Artificial Intelligence Research, 2018, v. 62, p. 133, doi. 10.1613/jair.1.11205
- By:
- Publication type:
- Article
4
Verification of Distributed Epistemic Gossip Protocols.
- Published in:
- Journal of Artificial Intelligence Research, 2018, v. 62, p. 101, doi. 10.1613/jair.1.11204
- By:
- Publication type:
- Article
5
Lifted Relational Neural Networks: Efficient Learning of Latent Relational Structures.
- Published in:
- Journal of Artificial Intelligence Research, 2018, v. 62, p. 69, doi. 10.1613/jair.1.11203
- By:
- Publication type:
- Article
6
Axiomatic Characterization of Game-Theoretic Centrality.
- Published in:
- Journal of Artificial Intelligence Research, 2018, v. 62, p. 33, doi. 10.1613/jair.1.11202
- By:
- Publication type:
- Article