J. Raymundo Marcial-Romero

MaRDI QIDQ283676zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Logic Journal of the IGPL	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 Electronic Notes in Theoretical Computer Science	2013-05-03	Paper
A threshold for a polynomial solution of \#2SAT Fundamenta Informaticae	2012-06-19	Paper
Sequential real number computation and recursive relations Mathematical Logic Quarterly	2008-10-08	Paper
Semantics of a sequential language for exact real-number computation Theoretical Computer Science	2007-07-16	Paper

Research outcomes over time

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