( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Essentials of the SAT 2003 Competition.

, и . SAT, том 2919 из Lecture Notes in Computer Science, стр. 452-467. 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.

Laurent Bartholdi

Laurent Ntahuga

Thomas Laurent

Sarah Laurent

Thomas Laurent

 

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

Systemization of Pluggable Transports for Censorship Resistance., , и . CoRR, (2014)Molecular Transport in Viscoelastic Materials: Mechanistic Properties and Chemical Affinities., , , и . SIAM J. Appl. Math., 74 (5): 1598-1614 (2014)Graphical process design tools for iontophoretic transdermal drug-delivery devices.. Comput. Methods Programs Biomed., 107 (3): 447-455 (2012)Application of orthogonal collocation and regression techniques for recovering parameters of a two-pathway transdermal drug-delivery model., , , и . Comput. Chem. Eng., 31 (3): 107-120 (2007)Eigenvector Centrality in Industrial SAT Instances., и . CP, том 7514 из Lecture Notes in Computer Science, стр. 348-356. Springer, (2012)Fifty-Five Solvers in Vancouver: The SAT 2004 Competition., и . SAT (Selected Papers, том 3542 из Lecture Notes in Computer Science, стр. 321-344. Springer, (2004)SomeWhere in the Semantic Web., , , , и . PPSWR, том 3703 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2005)Efficient Consequence Finding., и . IJCAI, стр. 359-370. Morgan Kaufmann, (2001)Modeling and control of amino acid starvation-induced apoptosis in CHO cell cultures., и . ACC, стр. 1579-1584. IEEE, (2002)SCORED '22: ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses., , и . CCS, стр. 3555-3556. ACM, (2022)