BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
Collaborated with:
M.Truszczynski S.Woltran A.Atserias M.Thurley
Talks about:
forgotten (1) algorithm (1) restart (1) resolut (1) program (1) normal (1) width (1) logic (1) learn (1) claus (1)

Person: Johannes Klaus Fichte

DBLP DBLP: Fichte:Johannes_Klaus

Contributed to:

ICLP 20152015
SAT 20092009

Wrote 2 papers:

ICLP-J-2015-FichteTW #logic programming #source code
Dual-normal logic programs — the forgotten class (JKF, MT, SW), pp. 495–510.
SAT-2009-AtseriasFT #algorithm #bound
Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution (AA, JKF, MT), pp. 114–127.

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.