Resource-distribution via Boolean constraints
DOI10.1145/601775.601778zbMATH Open1407.03078OpenAlexW2112448481MaRDI QIDQ5267424FDOQ5267424
Authors: James Harland, David Pym 
Publication date: 13 June 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/601775.601778
Recommendations
- Resource-distribution via Boolean constraints (extended abstract)
- scientific article; zbMATH DE number 2084766
- scientific article
- scientific article; zbMATH DE number 2084748
- scientific article; zbMATH DE number 2088163
- A multicriteria problem of distribution of bounded resources
- Resource constrained assignment problems
- Strategy-proof assignment of multiple resources
- Decomposition of uniform resource allocation problems
- Resource allocation and capacity assignment in distributed systems
Proof theory in general (including proof-theoretic semantics) (03F03) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cited In (10)
- Bunched sequential information
- A labelled sequent calculus for BBI: proof theory and proof search
- Temporal BI: proof system, semantics and translations
- Resourceful program synthesis from graded linear types
- Focussing and proof construction
- Title not available (Why is that?)
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
- Efficient resource management for linear logic proof search
- Title not available (Why is that?)
- Resource-distribution via Boolean constraints (extended abstract)
This page was built for publication: Resource-distribution via Boolean constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5267424)
