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

Author:

Publication: Artificial Intelligence

CITE.CC academic search helps you expand the influence of your papers.

Tags: AI

Abstract

Cite this article

https://doi.org/10.1016/j.artint.2019.103185

View full text

>> Full Text: New models for generating hard random boolean formulas and disjunctive logic programs

Clause vivification by unit propagation in CDCL SAT solvers

Preference elicitation and robust winner determination for single- and multi-winner social choice