(Q56039657)

English

Generating hard satisfiability problems

No description defined

In more languages

default for all languages

No label defined

No description defined

edit

Statements

instance of

scholarly article

0 references

title

Generating hard satisfiability problems (English)

0 references

1

Bart Selman

0 references

Hector Levesque

series ordinal

3

object named as

Hector J. Levesque

0 references

author name string

David G. Mitchell

series ordinal

2

0 references

language of work or name

English

0 references

publication date

March 1996

0 references

published in

Artificial Intelligence

0 references

volume

81

0 references

issue

1-2

0 references

page(s)

17-29

0 references

Identifiers

DOI

10.1016/0004-3702(95)00045-3

0 references

DBLP publication ID

journals/ai/SelmanML96

1 reference

stated in

DBLP Dataset 2021-01-02

retrieved

28 January 2021

Fatcat ID

release_w4lhubloabgglmeg7lw4c7rgza

1 reference

stated in

Fatcat

reference URL

https://api.fatcat.wiki/v0/release/w4lhubloabgglmeg7lw4c7rgza

retrieved

24 November 2022

based on heuristic

mapped directly with Wikidata item

ResearchGate publication ID

2808266

0 references

(Q56039657)

Generating hard satisfiability problems

Statements

Identifiers

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)