( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SBSAT: a State-Based, BDD-Based Satisfiability Solver.

, , , , , , и . SAT, том 2919 из Lecture Notes in Computer Science, стр. 398-410. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Aoife Ward

James Ward

Ward Gasque

Beate Ward

Derek Ward

 

Другие публикации лиц с тем же именем

Software Defined Radio for direction-finding in UAV wildlife tracking., , , и . EIT, стр. 464-469. IEEE, (2016)SBSAT: a State-Based, BDD-Based Satisfiability Solver., , , , , , и . SAT, том 2919 из Lecture Notes in Computer Science, стр. 398-410. Springer, (2003)Answer Set Programming with Clause Learning., и . LPNMR, том 2923 из Lecture Notes in Computer Science, стр. 302-313. Springer, (2004)Stroke survivor gait adaptation and performance after training on a Powered Ankle Foot Orthosis., , , и . ICRA, стр. 211-216. IEEE, (2010)The Dynamics and Pinning of a Spike for a Reaction-Diffusion System., , , , и . SIAM J. Appl. Math., 62 (4): 1297-1328 (2002)Helix: online enterprise data analytics., , , , , и . WWW (Companion Volume), стр. 225-228. ACM, (2011)Plantwide optimization coupled with column sequencing and stacking using a process simulator automation server., , , и . Comput. Chem. Eng., (2021)Stripe to Spot Transition in a Plant Root Hair Initiation Model., , , и . SIAM J. Appl. Math., 75 (3): 1090-1119 (2015)Collective ontology alignment., , , и . OM, том 1111 из CEUR Workshop Proceedings, стр. 219-220. CEUR-WS.org, (2013)Understanding a large corpus of web tables through matching with knowledge bases: an empirical study., , , и . OM, том 1545 из CEUR Workshop Proceedings, стр. 25-34. CEUR-WS.org, (2015)