( en | de | ru )

 

Disambiguation of "Wojciechowski, Piotr"

Author of the publication

copydeleteadd this publication to your clipboard
New Results in Priority-Based Bin Packing.

, , and . ALGOCLOUD, volume 13799 of Lecture Notes in Computer Science, page 58-72. Springer, (2022)

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

Georg Wojciechowski

Klaus Wojciechowski

Julia Wojciechowski

Peter Wojciechowski

 

Other publications of authors with the same name

Finding read-once refutations in 2CNF formulas and variants - a parameterized perspective., and . ISAIM, (2020)Erratum to: Analyzing restricted fragments of the theory of linear arithmetic., , and . Ann. Math. Artif. Intell., 79 (4): 371-392 (2017)Analyzing fractional Horn constraint systems., , and . Theor. Comput. Sci., (2020)NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability., , and . Math. Struct. Comput. Sci., 30 (7): 736-751 (2020)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)New Results in Priority-Based Bin Packing., , and . ALGOCLOUD, volume 13799 of Lecture Notes in Computer Science, page 58-72. Springer, (2022)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 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)