J. Raymundo Marcial-Romero

Available identifiers

zbMath Open marcial-romero.jose-raymundoWikidataQ62056412 ScholiaQ62056412MaRDI QIDQ283676

List of research outcomes

Publication	Date of Publication	Type
Weighted complete graphs for condensing data	2022-04-29	Paper
Linear-time algorithms for computing the Merrifield-Simmons index on polygonal trees	2021-10-15	Paper
A bottom-up algorithm for solving \#2SAT	2021-01-08	Paper
The incremental satisfiability problem for a two conjunctive normal form	2018-04-23	Paper
Computing the clique-width of cactus graphs	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
Sequential real number computation and recursive relations	2013-05-03	Paper
A threshold for a polynomial solution of \#2SAT	2012-06-19	Paper
Sequential real number computation and recursive relations	2008-10-08	Paper
Semantics of a sequential language for exact real-number computation	2007-07-16	Paper

Research outcomes over time

This page was built for person: J. Raymundo Marcial-Romero