skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index
Refined by: subject: Counting remove Journal Title: Theory Of Computing Systems remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Structural Tractability of Counting of Solutions to Conjunctive Queries
Structural Tractability of Counting of Solutions to Conjunctive Queries
Material Type:
Article 		Add to My Research

Structural Tractability of Counting of Solutions to Conjunctive Queries

Theory of computing systems, 2015-11, Vol.57 (4), p.1202-1249 [Peer Reviewed Journal]

Springer Science+Business Media New York 2014 ;Springer Science+Business Media New York 2015 ;ISSN: 1432-4350 ;EISSN: 1433-0490 ;DOI: 10.1007/s00224-014-9543-y ;CODEN: TCSYFI

Full text available

Citations Cited by
2
Knowledge Compilation Meets Database Theory: Compiling Queries to Decision Diagrams
Knowledge Compilation Meets Database Theory: Compiling Queries to Decision Diagrams
Material Type:
Article 		Add to My Research

Knowledge Compilation Meets Database Theory: Compiling Queries to Decision Diagrams

Theory of computing systems, 2013-04, Vol.52 (3), p.403-440 [Peer Reviewed Journal]

Springer Science+Business Media, LLC 2012 ;Springer Science+Business Media New York 2013 ;ISSN: 1432-4350 ;EISSN: 1433-0490 ;DOI: 10.1007/s00224-012-9392-5 ;CODEN: TCSYFI

Full text available

Citations Cited by
3
Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction
Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction
Material Type:
Article 		Add to My Research

Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction

Theory of computing systems, 2015-08, Vol.57 (2), p.426-443 [Peer Reviewed Journal]

Springer Science+Business Media New York 2014 ;Springer Science+Business Media New York 2015 ;ISSN: 1432-4350 ;EISSN: 1433-0490 ;DOI: 10.1007/s00224-014-9600-6 ;CODEN: TCSYFI

Full text available

Citations Cited by
4
Constant Unary Constraints and Symmetric Real-Weighted Counting Constraint Satisfaction Problems
Constant Unary Constraints and Symmetric Real-Weighted Counting Constraint Satisfaction Problems
Material Type:
Article 		Add to My Research

Constant Unary Constraints and Symmetric Real-Weighted Counting Constraint Satisfaction Problems

Theory of computing systems, 2014-07, Vol.55 (1), p.170-201 [Peer Reviewed Journal]

Springer Science+Business Media New York 2013 ;Springer Science+Business Media New York 2014 ;ISSN: 1432-4350 ;EISSN: 1433-0490 ;DOI: 10.1007/s00224-013-9518-4 ;CODEN: TCSYFI

Full text available

Citations Cited by

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Refine My Results

Creation Date 

From To
Refine
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY (84-028) 37 755 057 Feedback
19 Nguyen Huu Tho St. Dist.7, HCM thuvien@tdtu.edu.vn

Copyright © 2017 INSPIRE LIBRARY - TON DUC THANG UNIVERSITY

Searching Remote Databases, Please Wait