Search Sciweavers | Sciweavers

1353 search results - page 5 / 271

» Streamlined Constraint Reasoning

124

Voted

ICLP
2010
Springer

112views Automated Reasoning» more ICLP 2010»

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

15 years 9 months ago

Download drops.dagstuhl.de

Tomi Janhunen

claim paper

Read More »

138

Voted

DLOG
2004

93views Automated Reasoning» more DLOG 2004»

Finite Satisfiability of UML Class Diagrams by Constraint Programming

15 years 7 months ago

Download www.dis.uniroma1.it

Toni Mancini

claim paper

Read More »

120

click to vote

DLOG
1998

74views Automated Reasoning» more DLOG 1998»

Semi-structured Data with Constraints and Incomplete Information

15 years 7 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

130

Voted

GIS
1998
ACM

105views Automated Reasoning» more GIS 1998»

Constraint-Based Algorithms for Computing Clique Intersection Joins

15 years 5 months ago

Download repository.ust.hk

Nikos Mamoulis, Dimitris Papadias

claim paper

Read More »

139

Voted

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 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers