Unit Read-once Refutations for Systems of Difference Constraints

Article Properties
Cite
Subramani, K., and P. Wojciechowski. “Unit Read-Once Refutations for Systems of Difference Constraints”. Theory of Computing Systems, vol. 67, no. 4, 2023, pp. 877-99, https://doi.org/10.1007/s00224-023-10134-y.
Subramani, K., & Wojciechowski, P. (2023). Unit Read-once Refutations for Systems of Difference Constraints. Theory of Computing Systems, 67(4), 877-899. https://doi.org/10.1007/s00224-023-10134-y
Subramani, K., and P. Wojciechowski. “Unit Read-Once Refutations for Systems of Difference Constraints”. Theory of Computing Systems 67, no. 4 (2023): 877-99. https://doi.org/10.1007/s00224-023-10134-y.
1.
Subramani K, Wojciechowski P. Unit Read-once Refutations for Systems of Difference Constraints. Theory of Computing Systems. 2023;67(4):877-99.
Journal Categories
Science
Mathematics
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
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
A Polynomial Time Algorithm for Read-Once Certification of Linear Infeasibility in UTVPI Constraints 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)
 12 2019
A Combinatorial Certifying Algorithm for Linear Feasibility in UTVPI Constraints 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)
 9 2017
Improved algorithms for optimal length resolution refutation in difference constraint systems

 Formal Aspects of Computing
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • 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 2013
Optimal Length Resolution Refutations of Difference Constraint Systems Journal of Automated Reasoning
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 17 2009
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