-
1
A method for counting models on grid Boolean formulas
Veröffentlicht in Journal of intelligent & fuzzy systems
VolltextArtikel -
2
A bottom-up algorithm for solving ♯2SAT
Veröffentlicht in Logic journal of the IGPL
VolltextArtikel -
3
Inteligencia Artificial y Juegos de Tablero: Desde el Turco hasta AlphaZero
Veröffentlicht in RECIBE
VolltextArtikel -
4
-
5
-
6
Counting Falsifying Assignments of a 2-CF via Recurrence Equations
Veröffentlicht in Engineering letters
VolltextArtikel -
7
-
8
-
9
A method for counting models on grid Boolean formulas1
Veröffentlicht in Journal of intelligent & fuzzy systems
VolltextArtikel -
10
Identification of Latent Topics in Patients Surviving COVID-19 in Mexico
Veröffentlicht in Revista IEEE América Latina
VolltextArtikel -
11
Weighted Complete Graphs for Condensing Data
Veröffentlicht in Electronic notes in theoretical computer science
VolltextArtikel -
12
Sequential real number computation and recursive relations
Veröffentlicht in Mathematical logic quarterly
VolltextArtikel -
13
-
14
-
15
-
16
-
17
-
18
-
19
Computing the Clique-width of Cactus Graphs
Veröffentlicht in Electronic notes in theoretical computer science
VolltextArtikel -
20