Search Sciweavers | Sciweavers

1353 search results - page 5 / 271

» Streamlined Constraint Reasoning

click to vote

ICLP
2010
Springer

112views Automated Reasoning» more ICLP 2010»

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

15 years 6 months ago

Download drops.dagstuhl.de

Tomi Janhunen

claim paper

Read More »

105

click to vote

DLOG
2004

93views Automated Reasoning» more DLOG 2004»

Finite Satisfiability of UML Class Diagrams by Constraint Programming

15 years 4 months ago

Download www.dis.uniroma1.it

Toni Mancini

claim paper

Read More »

click to vote

DLOG
1998

74views Automated Reasoning» more DLOG 1998»

Semi-structured Data with Constraints and Incomplete Information

15 years 4 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

102

click to vote

GIS
1998
ACM

105views Automated Reasoning» more GIS 1998»

Constraint-Based Algorithms for Computing Clique Intersection Joins

15 years 2 months ago

Download repository.ust.hk

Nikos Mamoulis, Dimitris Papadias

claim paper

Read More »

103

click to vote

LPAR
2010
Springer

123views Automated Reasoning» more LPAR 2010»

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

15 years 24 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers