Search Sciweavers | Sciweavers

2845 search results - page 27 / 569

» Constraints over Ontologies

120

click to vote

MODELS
2009
Springer

135views Natural Language Processing» more MODELS 2009»

CSP(M): Constraint Satisfaction Problem over Models

15 years 10 months ago

Download home.mit.bme.hu

Ákos Horváth, Dániel Varr&oac...

claim paper

Read More »

131

click to vote

LICS
1998
IEEE

111views Automated Reasoning» more LICS 1998»

The First-Order Theory of Ordering Constraints over Feature Trees

15 years 9 months ago

Download www.coli.uni-saarland.de

Martin Müller, Joachim Niehren, Ralf Treinen

claim paper

Read More »

137

click to vote

RTA
1998
Springer

120views Theoretical Computer Science» more RTA 1998»

Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic

15 years 9 months ago

Download www.coli.uni-saarland.de

The system FT

Martin Müller, Joachim Niehren

claim paper

Read More »

150

click to vote

APPROX
2008
Springer

128views Algorithms» more APPROX 2008»

Constraint Satisfaction over a Non-Boolean Domain: Approximation Algorithms and Unique-Games Hardness

15 years 7 months ago

Download www.cs.cmu.edu

Venkatesan Guruswami, Prasad Raghavendra

claim paper

Read More »

130

click to vote

FMCAD
2008
Springer

146views Formal Methods» more FMCAD 2008»

Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers