Guillermo de Ita Luna

Available identifiers

zbMath Open de-ita-luna.guillermoMaRDI QIDQ283675

List of research outcomes

Publication	Date of Publication	Type
Building a maximal independent set for the vertex-coloring problem on planar graphs	2022-04-29	Paper
A heuristic for the coloring of planar graphs	2022-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q5156390	2021-10-15	Paper
The incremental satisfiability problem for a two conjunctive normal form	2018-04-23	Paper
Using binary patterns for counting falsifying assignments of conjunctive forms	2016-12-16	Paper
An enumerative algorithm for \#2SAT	2016-05-13	Paper
An approximate algorithm for the chromatic number of graphs	2016-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4524463	2001-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q4229151	1999-03-09	Paper

Research outcomes over time

This page was built for person: Guillermo de Ita Luna