difference constraint systems
Recently Published Documents

TOTAL DOCUMENTS

(FIVE YEARS 1)

H-INDEX

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analyzing Unit Read-Once Refutations in Difference Constraint Systems

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75775-5_11 ◽

2021 ◽

pp. 147-161

Author(s):

K. Subramani ◽

Piotr Wojciechowski

Keyword(s):

Constraint Systems ◽

Difference Constraint Systems

Download Full-text

On approximating optimal weight “no”-certificates in weighted difference constraint systems

Journal of Combinatorial Optimization ◽

10.1007/s10878-018-0292-8 ◽

2018 ◽

Vol 36 (2) ◽

pp. 329-345

Author(s):

Bugra Caskurlu ◽

Matthew Williamson ◽

K. Subramani ◽

Vahan Mkrtchyan

Keyword(s):

Optimal Weight ◽

Constraint Systems ◽

Difference Constraint Systems

Download Full-text

A Fully Polynomial Time Approximation Scheme for Refutations in Weighted Difference Constraint Systems

Algorithms and Discrete Applied Mathematics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-74180-2_4 ◽

2018 ◽

pp. 45-58

Author(s):

Bugra Caskurlu ◽

Matthew Williamson ◽

K. Subramani ◽

Vahan Mkrtchyan ◽

Piotr Wojciechowski

Keyword(s):

Polynomial Time ◽

Approximation Scheme ◽

Polynomial Time Approximation Scheme ◽

Time Approximation ◽

Constraint Systems ◽

Polynomial Time Approximation ◽

Difference Constraint Systems

Download Full-text

Improved algorithms for optimal length resolution refutation in difference constraint systems

Formal Aspects of Computing ◽

10.1007/s00165-011-0186-3 ◽

2011 ◽

Vol 25 (2) ◽

pp. 319-341 ◽

Cited By ~ 8

Author(s):

K. Subramani ◽

Matthew Williamson ◽

Xiaofeng Gu

Keyword(s):

Optimal Length ◽

Constraint Systems ◽

Resolution Refutation ◽

Difference Constraint Systems

Download Full-text

New Approaches for Difference Constraint Systems

10.21236/ada563551 ◽

2010 ◽

Author(s):

K. Subramani

Keyword(s):

New Approaches ◽

Constraint Systems ◽

Difference Constraint Systems

Download Full-text

Optimal Length Resolution Refutations of Difference Constraint Systems

Journal of Automated Reasoning ◽

10.1007/s10817-009-9139-4 ◽

2009 ◽

Vol 43 (2) ◽

pp. 121-137 ◽

Cited By ~ 11

Author(s):

K. Subramani

Keyword(s):

Optimal Length ◽

Constraint Systems ◽

Difference Constraint Systems

Download Full-text

difference constraint systemsRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Analyzing Unit Read-Once Refutations in Difference Constraint Systems

On approximating optimal weight “no”-certificates in weighted difference constraint systems

A Fully Polynomial Time Approximation Scheme for Refutations in Weighted Difference Constraint Systems

Improved algorithms for optimal length resolution refutation in difference constraint systems

New Approaches for Difference Constraint Systems

Optimal Length Resolution Refutations of Difference Constraint Systems

difference constraint systems
Recently Published Documents