×

Found 9 Documents (Results 1–9)

Generic SBDD using computational group theory. (English) Zbl 1273.68076

Rossi, Francesca (ed.), Principles and practice of constraint programming – CP 2003. 9th international conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20202-1/pbk). Lect. Notes Comput. Sci. 2833, 333-347 (2003).
MSC:  68N19 20B40 68T20
PDFBibTeX XMLCite
Full Text: DOI

Integrating efficient model-learning and problem-solving algorithms in permutation environments. (English) Zbl 0767.68083

Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 89-98 (1991).
MSC:  68T05 68T20 68Q25 05C25 20B40
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software