( en | de | ru )

 

Disambiguierung von "Weaver, Sean A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Function-Complete Lookahead in Support of Efficient SAT Search Heuristics.

, , , , , und . J. Univers. Comput. Sci., 10 (12): 1655-1695 (2004)

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.

Donoghue Sean

Sean Eikenberg

Sean Reed

Sean Wilson

Sean Schulze

 

Weitere Publikationen von Autoren mit dem selben Namen

Extending Existential Quantification in Conjunctions of BDDs., , und . J. Satisf. Boolean Model. Comput., 1 (2): 89-110 (2006)Constructing Minimal Perfect Hash Functions Using SAT Technology., und . AAAI, Seite 1668-1675. AAAI Press, (2020)SBSAT: a State-Based, BDD-Based Satisfiability Solver., , , , , , und . SAT, Volume 2919 von Lecture Notes in Computer Science, Seite 398-410. Springer, (2003)XOR-Satisfiability Set Membership Filters., , und . SAT, Volume 10929 von Lecture Notes in Computer Science, Seite 401-418. Springer, (2018)Constructing Minimal Perfect Hash Functions Using SAT Technology., und . CoRR, (2019)Satisfiability-based Set Membership Filters., , , , und . J. Satisf. Boolean Model. Comput., 8 (3/4): 129-148 (2014)Function-Complete Lookahead in Support of Efficient SAT Search Heuristics., , , , , und . J. Univers. Comput. Sci., 10 (12): 1655-1695 (2004)