New models for generating hard random boolean formulas and disjunctive logic programs

Artificial Intelligence 279 (C):103185 (2020)
  Copy   BIBTEX


This article has no associated abstract. (fix it)



    Upload a copy of this work     Papers currently archived: 74,148

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Boolean Algebra of Formulas of First-Order Logic.Don H. Faust - 1982 - Annals of Mathematical Logic 23 (1):27.
Algebraic Methods and Bounded Formulas.Domenico Zambella - 1997 - Notre Dame Journal of Formal Logic 38 (1):37-48.
Random Generations of the Countable Random Graph.Su Gao & A. Vershik - 2006 - Annals of Pure and Applied Logic 143 (1-3):79-86.
A Game Semantics for Disjunctive Logic Programming.Thanos Tsouanas - 2013 - Annals of Pure and Applied Logic 164 (11):1144-1175.
On Minimal Models.Francicleber Ferreira & Ana Teresa Martins - 2007 - Logic Journal of the IGPL 15 (5-6):503-526.


Added to PP

2 (#1,392,221)

6 months
1 (#413,740)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations