PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hölldobler, Steffen"

Author of the publication

copydeleteadd this publication to your clipboard
Representative Encodings to Translate Finite CSPs into SAT.

, , and . CPAIOR, volume 8451 of Lecture Notes in Computer Science, page 251-267. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Steffen Gaißer University of Stuttgart

Steffen Gerhäusser University of Stuttgart

Steffen Braun University of Stuttgart

Steffen Hirschmann Scientific Computing, Institute for Parallel and Distributed Computing, University of Stuttgart

Steffen Bolenz University of Stuttgart

 

Other publications of authors with the same name

The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers., , and . JACIII, 7 (3): 294-305 (2003)A Computational Logic Approach to Human Spatial Reasoning., , and . SSCI, page 1627-1634. IEEE, (2015)A Computational Logic Approach to the Suppression Task., , and . CogSci, cognitivesciencesociety.org, (2012)Linear Paramodulation modulo Equality., , and . GWAI, volume 216 of Informatik-Fachberichte, page 107-116. Springer, (1989)Equational Logic Programming.. SLP, page 335-346. IEEE-CS, (1987)Disjunction In Resource-Oriented Deductive Planning., , , , and . ILPS, page 670. MIT Press, (1993)On Logic Programming with Multisets., and . ICLP Workshop on Logic Programming with Sets, (1993)Equational Logic and Theories of Action.. APPIA-GULP-PRODE, page 111-126. (1996)Horn Equational Theories and Paramodulation., , and . J. Autom. Reasoning, 5 (3): 309-337 (1989)Guiding Backprop by Inserting Rules., , and . NeSy, volume 366 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)