Optimal Length Resolution Refutations of Difference Constraint Systems

Article Properties
Cite
Subramani, K. “Optimal Length Resolution Refutations of Difference Constraint Systems”. Journal of Automated Reasoning, vol. 43, no. 2, 2009, pp. 121-37, https://doi.org/10.1007/s10817-009-9139-4.
Subramani, K. (2009). Optimal Length Resolution Refutations of Difference Constraint Systems. Journal of Automated Reasoning, 43(2), 121-137. https://doi.org/10.1007/s10817-009-9139-4
Subramani, K. “Optimal Length Resolution Refutations of Difference Constraint Systems”. Journal of Automated Reasoning 43, no. 2 (2009): 121-37. https://doi.org/10.1007/s10817-009-9139-4.
Subramani K. Optimal Length Resolution Refutations of Difference Constraint Systems. Journal of Automated Reasoning. 2009;43(2):121-37.
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
10.3233/SAT190030 2007
A Comprehensive Framework for Specifying Clairvoyance, Constraints and Periodicity in Real-Time Scheduling The Computer Journal
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 7 2005
An Analysis of Totally Clairvoyant Scheduling Journal of Scheduling
  • Technology: Manufactures
  • Technology: Manufactures: Production management. Operations management
  • Technology: Technology (General): Industrial engineering. Management engineering
  • Technology: Engineering (General). Civil engineering (General)
 8 2005
A new approach to dynamic all pairs shortest paths

 Journal of the ACM
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 71 2004
On deciding the non‐emptiness of 2SAT polytopes with respect to First Order Queries

 Mathematical Logic Quarterly
  • Science: Mathematics
  • Science: Mathematics
 9 2004
Citations
Title Journal Journal Categories Citations Publication Date
Farkas Bounds on Horn Constraint Systems Theory of Computing Systems
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2024
Arc-dependent networks: theoretical insights and a computational study Annals of Operations Research
  • Technology: Manufactures: Production management. Operations management
  • Science: Mathematics
  • Technology: Engineering (General). Civil engineering (General)
  • Technology: Engineering (General). Civil engineering (General)
 2024
Unit Read-once Refutations for Systems of Difference Constraints Theory of Computing Systems
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2023
Optimal length cutting plane refutations of integer programs Discrete Optimization
  • Technology: Manufactures: Production management. Operations management
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Technology: Engineering (General). Civil engineering (General)
  • Science: Mathematics
 2023
Integer Feasibility and Refutations in UTVPI Constraints Using Bit-Scaling Algorithmica
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Technology: Engineering (General). Civil engineering (General)
 2022
Citations Analysis
Category Category Repetition
Science: Mathematics12
Technology: Engineering (General). Civil engineering (General)9
Science: Mathematics: Instruments and machines: Electronic computers. Computer science9
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods8
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software7
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware5
Technology: Manufactures: Production management. Operations management2
The category Science: Mathematics 12 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Improved algorithms for optimal length resolution refutation in difference constraint systems and was published in 2013. The most recent citation comes from a 2024 study titled Arc-dependent networks: theoretical insights and a computational study. This article reached its peak citation in 2022, with 3 citations. It has been cited in 13 different journals. Among related journals, the Discrete Applied Mathematics cited this research the most, with 3 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year