Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
1986
search results - page 17 / 398
»
constraints 2006
Sort
relevance
views
votes
recent
update
View
thumb
title
8
click to vote
CORR
2006
Springer
84
views
Education
»
more
CORR 2006
»
On the freeze quantifier in Constraint LTL: decidability and complexity
13 years 7 months ago
Download
www.lsv.ens-cachan.fr
Stéphane Demri, Ranko Lazic, David Nowak
claim paper
Read More »
9
click to vote
CORR
2006
Springer
79
views
Education
»
more
CORR 2006
»
Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data
13 years 7 months ago
Download
www.ai.sri.com
Neil Yorke-Smith, Carmen Gervet
claim paper
Read More »
30
click to vote
CORR
2006
Springer
126
views
Education
»
more
CORR 2006
»
Logic programs with monotone abstract constraint atoms
13 years 7 months ago
Download
www.cs.uky.edu
Victor W. Marek, Ilkka Niemelä, Miroslaw Trus...
claim paper
Read More »
21
click to vote
CSUR
2006
52
views
more
CSUR 2006
»
Propositional Satisfiability and Constraint Programming: A comparative survey
13 years 7 months ago
Download
research.microsoft.com
Lucas Bordeaux, Youssef Hamadi, Lintao Zhang
claim paper
Read More »
10
click to vote
ENTCS
2006
89
views
more
ENTCS 2006
»
Soft Constraints for Security
13 years 7 months ago
Download
www.cs.ucc.ie
Giampaolo Bella, Stefano Bistarelli, Simon N. Fole...
claim paper
Read More »
« Prev
« First
page 17 / 398
Last »
Next »