Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Quentin Cappart

1PUBLICATIONS
0CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

Sort by Publication Date:
|Jan 23, 2025
Learning and fine-tuning a generic value-selection heuristic inside a constraint programming solver.

Tom Marty, Léo Boisvert, Tristan François

Pageof 1

Frequent Collaborators

Frequent Collaborators

Top Related Videos

Protein WISDOM: A Workbench for <em>In silico</em> <em>De novo</em> Design of BioMolecules
10:58

Protein WISDOM: A Workbench for <em>In silico</em> <em>De novo</em> Design of BioMolecules

Published on : Jul 25, 2013

17.0K
See more related videos

Top Related Videos

Protein WISDOM: A Workbench for <em>In silico</em> <em>De novo</em> Design of BioMolecules
10:58

Protein WISDOM: A Workbench for <em>In silico</em> <em>De novo</em> Design of BioMolecules

Published on : Jul 25, 2013

17.0K
See more related videos