Simon Kasif

Available identifiers

zbMath Open kasif.simonWikidataQ30112440 ScholiaQ30112440MaRDI QIDQ688581

List of research outcomes

Publication	Date of Publication	Type
Towards a constraint-based engineering framework for algorithm design and application	2015-06-15	Paper
Formula dissection: A parallel algorithm for constraint satisfaction	2008-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q5456731	2008-04-14	Paper
Learning a Hidden Matching	2005-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4218265	1999-07-07	Paper
A probabilistic framework for memory-based reasoning	1999-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4386940	1998-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q4386954	1998-05-10	Paper
Local consistency in parallel constraint satisfaction networks	1995-09-19	Paper
The complexity of finding minimal Voronoi covers with applications to machine learning	1994-11-29	Paper
Efficient parallel term matching and anti-unification	1994-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4013738	1992-09-27	Paper
On the parallel complexity of discrete relaxation in constraint satisfaction networks	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3493326	1989-01-01	Paper
Some results on the complexity of exploiting data dependency in parallel logic programs	1989-01-01	Paper
Control and data driven execution of logic programs: A comparison	1986-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Simon Kasif