Simon Kasif

From MaRDI portal
(Redirected from Person:688581)
Simon Kasif Q688581



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Learning a hidden matching2026-05-29Paper
Towards a constraint-based engineering framework for algorithm design and application
Constraints
2015-06-15Paper
Formula dissection: A parallel algorithm for constraint satisfaction
Computers & Mathematics with Applications
2008-06-26Paper
Extracting conserved gene expression motifs from gene expression data2008-04-14Paper
Learning a Hidden Matching
SIAM Journal on Computing
2005-02-21Paper
scientific article; zbMATH DE number 1222698 (Why is no real title available?)1999-07-07Paper
A probabilistic framework for memory-based reasoning
Artificial Intelligence
1999-01-12Paper
scientific article; zbMATH DE number 1149432 (Why is no real title available?)
(available as arXiv preprint)
1998-05-10Paper
scientific article; zbMATH DE number 1149419 (Why is no real title available?)1998-05-10Paper
Local consistency in parallel constraint satisfaction networks
Artificial Intelligence
1995-09-19Paper
The complexity of finding minimal Voronoi covers with applications to machine learning
Computational Geometry
1994-11-29Paper
Efficient parallel term matching and anti-unification
Journal of Automated Reasoning
1994-03-22Paper
scientific article; zbMATH DE number 67797 (Why is no real title available?)1992-09-27Paper
On the parallel complexity of discrete relaxation in constraint satisfaction networks
Artificial Intelligence
1990-01-01Paper
scientific article; zbMATH DE number 4166938 (Why is no real title available?)1989-01-01Paper
Some results on the complexity of exploiting data dependency in parallel logic programs
The Journal of Logic Programming
1989-01-01Paper
Control and data driven execution of logic programs: A comparison
International Journal of Parallel Programming
1986-01-01Paper


Research outcomes over time


This page was built for person: Simon Kasif