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: Fichte:Johannes_Klaus
Contributed to:
2015
2009Wrote 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.