( en | de | ru )

 

Disambiguierung von "Truszczynski, Miroslaw"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques.

, und . Constraints An Int. J., 12 (3): 345-369 (2007)

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.

Miroslaw Korzeniowski

Miroslaw Ciesla

Miroslaw Malek

Miroslaw Szarzynski

Miroslaw Burbelo

 

Weitere Publikationen von Autoren mit dem selben Namen

Routing non-convex grids without holes., und . Great Lakes Symposium on VLSI, Seite 157-162. IEEE, (1991)Computing minimal models, stable models and answer sets, und . CoRR, (2005)Trichotomy and Dichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs. CoRR, (2010)On the problem of computing the well-founded semantics., und . Theory Pract. Log. Program., 1 (5): 591-609 (2001)An algorithm of finding an acyclic f-graph for a family od sets.. Fundam. Informaticae, 3 (3): 379-396 (1980)Modal nonmonotonic logic with restricted application of the negation as failure to prove rule.. Fundam. Informaticae, 14 (3): 355-366 (1991)Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule.. LPNMR, Seite 150-169. (1990)Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems., , und . JELIA, Volume 2424 von Lecture Notes in Computer Science, Seite 513-516. Springer, (2002)Reasoning with Preference Trees over Combinatorial Domains., und . ADT, Volume 9346 von Lecture Notes in Computer Science, Seite 19-34. Springer, (2015)Rough Sets - What Are They About?, und . Rough Sets and Current Trends in Computing, Volume 1424 von Lecture Notes in Computer Science, Seite 24. Springer, (1998)