No label defined (Q5094121)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7566049

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7566049

Statements

scholarly article

0 references

0 references

0 references

Simon Robillard

0 references

Ujkan Sulejmani

0 references

publication date

2 August 2022

0 references

full work available at URL

https://arxiv.org/abs/2104.13851

0 references

https://lmcs.episciences.org/9148

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

MaRDI profile type

MaRDI publication profile

0 references

Cardinality of relations and relational approximation algorithms

0 references

Verifying an incremental theory solver for linear arithmetic in Isabelle/HOL

0 references

Inapproximability of Hypergraph Vertex Cover and Applications to Scheduling Problems

0 references

Logic Based Program Synthesis and Transformation

0 references

A linear approximation algorithm for bin packing with absolute approximation factor \(\frac {3}{2}\)

0 references

Verified Approximation Algorithms

0 references

Greed is good: Approximating independent sets in sparse and bounded-degree graphs

0 references

Concrete Semantics

0 references

Isabelle/HOL. A proof assistant for higher-order logic

0 references

Towards formal foundations for game theory

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5094121

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5094121&oldid=36836580"