utvpi constraints Latest Research Papers

Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints

Discrete Applied Mathematics ◽

10.1016/j.dam.2020.10.016 ◽

2020 ◽

Author(s):

Piotr Wojciechowski ◽

K. Subramani ◽

Matthew Williamson

Keyword(s):

Polynomial Time ◽

Optimal Length ◽

Polynomial Time Algorithms ◽

Utvpi Constraints

Download Full-text

A Polynomial Time Algorithm for Read-Once Certification of Linear Infeasibility in UTVPI Constraints

Algorithmica ◽

10.1007/s00453-019-00554-z ◽

2019 ◽

Vol 81 (7) ◽

pp. 2765-2794 ◽

Cited By ~ 2

Author(s):

K. Subramani ◽

Piotr Wojciechowki

Keyword(s):

Polynomial Time ◽

Polynomial Time Algorithm ◽

Time Algorithm ◽

Utvpi Constraints

Download Full-text

A Graphical Analysis of Integer Infeasibility in UTVPI Constraints

Lecture Notes in Computer Science - AI*IA 2019 – Advances in Artificial Intelligence ◽

10.1007/978-3-030-35166-3_16 ◽

2019 ◽

pp. 223-234

Author(s):

K. Subramani ◽

Piotr Wojciechowski

Keyword(s):

Graphical Analysis ◽

Utvpi Constraints

Download Full-text

Read-Once Certification of Linear Infeasibility in UTVPI Constraints

Lecture Notes in Computer Science - Theory and Applications of Models of Computation ◽

10.1007/978-3-030-14812-6_36 ◽

2019 ◽

pp. 578-593

Author(s):

K. Subramani ◽

Piotr Wojciechowski

Keyword(s):

Utvpi Constraints

Download Full-text

Optimal Length Tree-Like Refutations of Linear Feasibility in UTVPI Constraints

Frontiers in Algorithmics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-78455-7_23 ◽

2018 ◽

pp. 300-314

Author(s):

P. Wojciechowski ◽

K. Subramani ◽

Matthew Williamson

Keyword(s):

Optimal Length ◽

Utvpi Constraints ◽

Linear Feasibility

Download Full-text

An Empirical Analysis of Feasibility Checking Algorithms for UTVPI Constraints

Algorithmic Aspects in Information and Management - Lecture Notes in Computer Science ◽

10.1007/978-3-030-04618-7_10 ◽

2018 ◽

pp. 111-123 ◽

Cited By ~ 1

Author(s):

K. Subramani ◽

Piotr Wojciechowski ◽

Zachary Santer ◽

Matthew Anderson

Keyword(s):

Empirical Analysis ◽

Utvpi Constraints

Download Full-text

A certifying algorithm for lattice point feasibility in a system of UTVPI constraints

Journal of Combinatorial Optimization ◽

10.1007/s10878-017-0176-3 ◽

2017 ◽

Vol 35 (2) ◽

pp. 389-408 ◽

Cited By ~ 2

Author(s):

K. Subramani ◽

Piotr Wojciechowski

Keyword(s):

Lattice Point ◽

Certifying Algorithm ◽

Utvpi Constraints

Download Full-text

Analyzing Lattice Point Feasibility in UTVPI Constraints

Lecture Notes in Computer Science - Principles and Practice of Constraint Programming ◽

10.1007/978-3-319-66158-2_39 ◽

2017 ◽

pp. 615-629 ◽

Cited By ~ 1

Author(s):

K. Subramani ◽

Piotr Wojciechowski

Keyword(s):

Lattice Point ◽

Utvpi Constraints

Download Full-text

A Combinatorial Certifying Algorithm for Linear Feasibility in UTVPI Constraints

Algorithmica ◽

10.1007/s00453-016-0131-1 ◽

2016 ◽

Vol 78 (1) ◽

pp. 166-208 ◽

Cited By ~ 11

Author(s):

K. Subramani ◽

Piotr Wojciechowski

Keyword(s):

Certifying Algorithm ◽

Utvpi Constraints ◽

Linear Feasibility

Download Full-text

A Bit-Scaling Algorithm for Integer Feasibility in UTVPI Constraints

Lecture Notes in Computer Science - Combinatorial Algorithms ◽

10.1007/978-3-319-44543-4_25 ◽

2016 ◽

pp. 321-333 ◽

Cited By ~ 1

Author(s):

K. Subramani ◽

Piotr Wojciechowski

Keyword(s):

Utvpi Constraints

Download Full-text

utvpi constraints
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints

A Polynomial Time Algorithm for Read-Once Certification of Linear Infeasibility in UTVPI Constraints

A Graphical Analysis of Integer Infeasibility in UTVPI Constraints

Read-Once Certification of Linear Infeasibility in UTVPI Constraints

Optimal Length Tree-Like Refutations of Linear Feasibility in UTVPI Constraints

An Empirical Analysis of Feasibility Checking Algorithms for UTVPI Constraints

A certifying algorithm for lattice point feasibility in a system of UTVPI constraints

Analyzing Lattice Point Feasibility in UTVPI Constraints

A Combinatorial Certifying Algorithm for Linear Feasibility in UTVPI Constraints

A Bit-Scaling Algorithm for Integer Feasibility in UTVPI Constraints

Export Citation Format

utvpi constraintsRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints

A Polynomial Time Algorithm for Read-Once Certification of Linear Infeasibility in UTVPI Constraints

A Graphical Analysis of Integer Infeasibility in UTVPI Constraints

Read-Once Certification of Linear Infeasibility in UTVPI Constraints

Optimal Length Tree-Like Refutations of Linear Feasibility in UTVPI Constraints

An Empirical Analysis of Feasibility Checking Algorithms for UTVPI Constraints

A certifying algorithm for lattice point feasibility in a system of UTVPI constraints

Analyzing Lattice Point Feasibility in UTVPI Constraints

A Combinatorial Certifying Algorithm for Linear Feasibility in UTVPI Constraints

A Bit-Scaling Algorithm for Integer Feasibility in UTVPI Constraints

utvpi constraints
Recently Published Documents