The following pages link to J. Raymundo Marcial-Romero (Q283676):
Displayed 12 items.
- An enumerative algorithm for \#2SAT (Q283678) (← links)
- An approximate algorithm for the chromatic number of graphs (Q283679) (← links)
- The incremental satisfiability problem for a two conjunctive normal form (Q1744433) (← links)
- Computing the clique-width of cactus graphs (Q1744436) (← links)
- Weighted complete graphs for condensing data (Q2133440) (← links)
- Semantics of a sequential language for exact real-number computation (Q2373708) (← links)
- Using binary patterns for counting falsifying assignments of conjunctive forms (Q2520658) (← links)
- (Q2892663) (← links)
- A bottom-up algorithm for solving ♯2SAT (Q3386918) (← links)
- Sequential real number computation and recursive relations (Q3528145) (← links)
- Sequential Real Number Computation and Recursive Relations (Q4918036) (← links)
- (Q5156390) (← links)