( en | de | ru )

 

Disambiguation of "Wojciechowski, Piotr"

Author of the publication

copydeleteadd this publication to your clipboard
On quantified linear implications.

, , , and . Ann. Math. Artif. Intell., 71 (4): 301-325 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Peter Wojciechowski

Klaus Wojciechowski

Georg Wojciechowski

Julia Wojciechowski

Peter Wojciechowski

 

Other publications of authors with the same name

NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability., , and . Math. Struct. Comput. Sci., 30 (7): 736-751 (2020)Reachability in choice networks., , and . Discret. Optim., 48 (Part 1): 100761 (May 2023)A complexity perspective on entailment of parameterized linear constraints., , , and . Constraints An Int. J., 17 (4): 461-487 (2012)Read-once refutations in Horn constraint systems: an algorithmic approach., , and . J. Log. Comput., 32 (4): 667-696 (2022)New Results in Priority-Based Bin Packing., , and . ALGOCLOUD, volume 13799 of Lecture Notes in Computer Science, page 58-72. Springer, (2022)A Fully Polynomial Time Approximation Scheme for Refutations in Weighted Difference Constraint Systems., , , , and . CALDAM, volume 10743 of Lecture Notes in Computer Science, page 45-58. Springer, (2018)Analyzing fractional Horn constraint systems., , and . Theor. Comput. Sci., (2020)Erratum to: Analyzing restricted fragments of the theory of linear arithmetic., , and . Ann. Math. Artif. Intell., 79 (4): 371-392 (2017)Optimal Length Tree-Like Refutations of Linear Feasibility in UTVPI Constraints., , and . FAW, volume 10823 of Lecture Notes in Computer Science, page 300-314. Springer, (2018)New Results on Cutting Plane Proofs for Horn Constraint Systems., , and . FSTTCS, volume 150 of LIPIcs, page 43:1-43:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)