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, in: Information and Computation, Amsterdam: Elsevier, Jg. 281, Nr. December 2021, 104787, doi: 10.1016/j.ic.2021.104787.
Faculty/Chair:
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
DOI:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Article
URI:
Activation date:
September 1, 2022

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/55354