BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:

Talks about:
resolut (1) problem (1) propag (1) linear (1) hyper (1) unit (1) time (1) solv (1) free (1) sat (1)

Person: Gábor Kusper

DBLP DBLP: Kusper:G=aacute=bor

Contributed to:

SAT 20022002

Wrote 1 papers:

SAT-2002-Kusper #linear #problem #satisfiability
Solving the resolution-free SAT problem by hyper-unit propagation in linear time (GK), p. 32.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.