( en | de | ru )

 

Disambiguierung von "Wang, Ruiwei"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Comparison of SAT Encodings for Acyclicity of Directed Graphs.

, , und . SAT, Volume 271 von LIPIcs, Seite 30:1-30:9. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylation. Uni Marburg, (2009)

Xiangdong Wang

Bingjun Wang

Hongyang Wang

 

Weitere Publikationen von Autoren mit dem selben Namen

A Comparison of SAT Encodings for Acyclicity of Directed Graphs., , und . SAT, Volume 271 von LIPIcs, Seite 30:1-30:9. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)CNF Encodings of Binary Constraint Trees., und . CP, Volume 235 von LIPIcs, Seite 40:1-40:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees., und . AAAI, Seite 3850-3858. AAAI Press, (2022)Correlation Heuristics for Constraint Programming., , und . ICTAI, Seite 1037-1041. IEEE Computer Society, (2017)The Expressive Power of Ad-Hoc Constraints for Modelling CSPs., und . AAAI, Seite 4104-4114. AAAI Press, (2023)Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs., und . IJCAI, Seite 1184-1191. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Arc Consistency Revisited., und . CPAIOR, Volume 11494 von Lecture Notes in Computer Science, Seite 599-615. Springer, (2019)Expediting Neural Network Verification via Network Reduction., , und . ASE, Seite 1263-1275. IEEE, (2023)Optimizing Simple Tabular Reduction with a Bitwise Representation., , , und . IJCAI, Seite 787-795. IJCAI/AAAI Press, (2016)Encoding Constraints as Binary Constraint Networks Satisfying BTP.. AAAI, Seite 8172-8181. AAAI Press, (2024)