CVC

CVC is an initialism that refers to any of the following:

Science and industry

Computing

Legal

Linguistics

Business and companies

Bicycle law in California

Bicycle law in California is the parts of the California Vehicle Code that set out the law for persons cycling in California, and a subset of bicycle law in the United States.

General applicability of road rules

CVC 21200 states that the rules of the road, set out in Division 11 of the California Vehicle Code, that do not specifically apply only to motor vehicles are applicable to cyclists. Police officers riding bicycles are exempt from the provisions when they are responding to an emergency call, engaged in rescue operations, or in immediate pursuit of a suspect.

21200. (a) Every person riding a bicycle upon a highway has all the rights and is subject to all the provisions applicable to the driver of a vehicle by this division... except those provisions which by their very nature can have no application.

Locations of cycling

On-road

CVC 21650 sets the on-road position for all vehicles, including bicycles.

21650. Upon all highways, a vehicle shall be driven upon the right half of the roadway...

Satisfiability modulo theories

In computer science and mathematical logic, the satisfiability modulo theories (SMT) problem is a decision problem for logical formulas with respect to combinations of background theories expressed in classical first-order logic with equality. Examples of theories typically used in computer science are the theory of real numbers, the theory of integers, and the theories of various data structures such as lists, arrays, bit vectors and so on. SMT can be thought of as a form of the constraint satisfaction problem and thus a certain formalized approach to constraint programming.

Basic terminology