( en | de | ru )

 

Disambiguierung von "Lagoon, Vitaly"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Logic programming with satisfiability.

, , und . Theory Pract. Log. Program., 8 (1): 121-128 (2008)

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.

Vitaly Raev

Vitaly Alexandrov

Vitaly Teterin

Vitaly Kozyura

Vitaly Belik

 

Weitere Publikationen von Autoren mit dem selben Namen

Sharing Analysis Using Set Logic Programs., , und . ICLP, Seite 417. MIT Press, (1997)Telecommunications Feature Subscription as a Partial Order Constraint Problem., , und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 749-753. Springer, (2008)The DNA Word Design Problem: A New Constraint Model and New Results., , und . IJCAI, Seite 585-591. ijcai.org, (2017)Size-Change Termination Analysis in k-Bits., , , und . ESOP, Volume 3924 von Lecture Notes in Computer Science, Seite 230-245. Springer, (2006)Solving Partial Order Constraints for LPO Termination., , und . RTA, Volume 4098 von Lecture Notes in Computer Science, Seite 4-18. Springer, (2006)Logic programming with satisfiability., , und . Theory Pract. Log. Program., 8 (1): 121-128 (2008)Testing for Termination with Monotonicity Constraints., , und . ICLP, Volume 3668 von Lecture Notes in Computer Science, Seite 326-340. Springer, (2005)Type Dependencies for Logic Programs Using ACI-Unification., und . ISTCS, Seite 136-145. IEEE Computer Society, (1996)Precise pair-sharing analysis of logic programs., und . PPDP, Seite 99-108. ACM, (2002)Boolean Equi-propagation for Optimized SAT Encoding., , , und . CP, Volume 6876 von Lecture Notes in Computer Science, Seite 621-636. Springer, (2011)