Options
Dynamic branching in qualitative constraint-based reasoning via counting local models
Sioutis, Michail; Wolter, Diedrich (2021): „Dynamic branching in qualitative constraint-based reasoning via counting local models“. Amsterdam: Elsevier doi: 10.1016/j.ic.2021.104787.
Faculty/Professorship:
Author:
Title of the Journal:
Information and Computation
ISSN:
0890-5401
Publisher Information:
Year of publication:
2021
Volume:
281
Issue:
December 2021, 104787
Language:
English
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Article
published:
September 1, 2022
Permalink
https://fis.uni-bamberg.de/handle/uniba/55354