output
20022009
most citedA giant outburst two years before the core-collapse of a massive star

428 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2004

A CHR-based Implementation of Known Arc-Consistency

Marco Alberti, Marco Gavanelli, Evelina Lamma +2

In classical CLP(FD) systems, domains of variables are completely known at the beginning of the constraint propagation process. However, in systems interacting with an external env…